} else if (node instanceof Edge){
nodeGUI=new EdgeGUI((Edge)node);
} else if (node instanceof TerminateInstanceNode){
nodeGUI=new TerminateInstanceNodeGUI((TerminateInstanceNode)node);
} else if (node instanceof InstanceNode){
nodeGUI=new InstanceNodeGUI((InstanceNode)node);
} else if (node instanceof StreamSourceNode){
nodeGUI=new StreamSourceNodeGUI((StreamSourceNode)node);
} else if (node instanceof Graph){
nodeGUI=new GraphGUI((Graph)node);
}