//when the user double-clicks a node, we want the node's properties to be displayed:
    graph.addListener(SWT.MouseDoubleClick, new Listener() {
		  public void handleEvent(Event event) 
		  {	
			  try {			  
			      Shell automataShell = new Shell(display);
			      automataShell.setText("automata");
			      automataShell.setSize(500, 400);
			      automataShell.open();
			      automataShell.setLocation(300, 300);
			      automataShell.setVisible(true);
			      automataShell.setLayout(new FillLayout());
			      			      
                              //this ProgressBar, put there as a test, displays just fine.
			      ProgressBar progressBar = new ProgressBar(automataShell, SWT.NULL);
			      progressBar.setMinimum(0);
			      progressBar.setMaximum(100);
			      progressBar.setBounds(100, 10, 200, 20);
			      progressBar.setSelection(0);
			      
			      GraphNode selected = (GraphNode)graph.getSelection().get(0);
				  output(selected.getText() + "\n");
			      DNode node = getNode(nodeList, selected.getText());
			      String nodeType = null;
			      if(node instanceof DComponent)
			    	  nodeType = "Component";
			      if(node instanceof DConnector)
			    	  nodeType = "Connector";
			      output("Selection: " + node.getNodeName() + " is a " + nodeType + "; " + node.getDescription());

			      //This Graph doesn't display. I can't tell why - the method used is similar to the one with which I've created the Graph in the primary Shell.
			      Graph automataGraph = new Graph(automataShell, SWT.NULL);
			      automataGraph.setLayoutData(new RowData(490, 390));
			      makeGraph(node, null, null, automataGraph);
			      
			      automataGraph.setLayoutAlgorithm(new SpringLayoutAlgorithm(LayoutStyles.NO_LAYOUT_NODE_RESIZING), true);
			      automataGraph.applyLayout();
				  				
			      
			  }
			  catch (Exception e) {
			  }		 
		  }
	  });