GUI bug fix (crash caused by model tree not displaying clocks, spotted by pk123 on forum).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5476 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/userinterface/model/GUIMultiModelTree.java

@@ -847,6 +847,13 @@ public class GUIMultiModelTree extends JPanel implements MouseListener
                         inTreeNode.add(newVariable);
                         cIndices[j] = getVarTreeIndexOf(notTreeDec, inTreeNode);
                     }
+                    else if(notTreeDec.getType() instanceof TypeClock)
+                    {
+                    	DeclarationClock declClk = (DeclarationClock)notTreeDec.getDeclType();
+                        VarNode newVariable = new VarNode(notTreeDec.getName(), parsedModel.getSystemDefn() == null ? notTreeDec.getStartOrDefault() : null, Expression.Int(0), null, false);
+                        inTreeNode.add(newVariable);
+                        cIndices[j] = getVarTreeIndexOf(notTreeDec, inTreeNode);
+                    }
                 }
                 theModel.nodesWereInserted(inTreeNode, cIndices);
                 
@@ -899,6 +906,11 @@ public class GUIMultiModelTree extends JPanel implements MouseListener
                         BoolNode newVariable = new BoolNode(aDec.getName(), parsedModel.getSystemDefn() == null ? aDec.getStartOrDefault() : null, false);
                         newNode.add(newVariable);
                     }
+                    if(aDec.getType() instanceof TypeClock)
+                    {
+                        VarNode newVariable = new VarNode(aDec.getName(), parsedModel.getSystemDefn() == null ? aDec.getStartOrDefault() : null, Expression.Int(0), null, false);
+                        newNode.add(newVariable);
+                    }
                 }
                 modules.addModule(newNode);
                 int index = modules.getIndex(newNode);