Index: /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt/MainWindow.java
===================================================================
--- /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt/MainWindow.java	(revision 386)
+++ /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt/MainWindow.java	(revision 387)
@@ -78,5 +78,5 @@
 	protected void createContents() {
 		shlEventbenchConsole = new Shell();
-		shlEventbenchConsole.setSize(500, 300);
+		shlEventbenchConsole.setSize(800, 600);
 		shlEventbenchConsole.setText("EventBench Console");
 		shlEventbenchConsole.setLayout(new GridLayout(1, false));
Index: /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt/ModelPropertiesDialog.java
===================================================================
--- /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt/ModelPropertiesDialog.java	(revision 386)
+++ /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt/ModelPropertiesDialog.java	(revision 387)
@@ -69,5 +69,9 @@
 		List list = new List(grpEvents, SWT.BORDER | SWT.H_SCROLL | SWT.V_SCROLL);
 		for( String symbol : process.getSymbolStrings() ) {
-			list.add(symbol);
+			if( symbol==null ) {
+				list.add("null");
+			} else {
+				list.add(symbol);
+			}
 		}