From 85b7c30d4a5af8f02a535f91caafc8e10bbc3c14 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 25 Oct 2015 23:39:53 +0000
Subject: [PATCH] Catch possible null value in GUI simulator update table
 display (reported by Steffen Marcker).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10833 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/simulator/GUISimulatorUpdatesTable.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/userinterface/simulator/GUISimulatorUpdatesTable.java b/prism/src/userinterface/simulator/GUISimulatorUpdatesTable.java
index 7d20cd7a..eebf302a 100644
--- a/prism/src/userinterface/simulator/GUISimulatorUpdatesTable.java
+++ b/prism/src/userinterface/simulator/GUISimulatorUpdatesTable.java
@@ -163,7 +163,7 @@ public class GUISimulatorUpdatesTable extends JTable implements ListSelectionLis
 
 		public Component getTableCellRendererComponent(JTable table, Object value, boolean isSelected, boolean hasFocus, int row, int column)
 		{
-			renderer.setText(value.toString());
+			renderer.setText(value == null ? "" : value.toString());
 
 			int dist;