updateDisplay.runNow();
	public void highlightPath(Path p) {		// run through all the visible nodes		Iterator i = _registry.getNodeItems();		PNode pnode = null;		while(i.hasNext()) {			pnode = (PNode) ((VisualItem) i.next()).getEntity();			pnode.setPathElement(p.contains(pnode.v()) ? true : false);			pnode.setStartPoint(pnode.v().equals(p.start()) ? true : false);			pnode.setEndPoint(false);		}		pnode.setEndPoint(true);				i = _registry.getEdgeItems();		while(i.hasNext()) {			PEdge pedge = (PEdge) ((VisualItem) i.next()).getEntity();			if(p.contains(pedge.e())) {				pedge.setPathElement(true);			} else {				pedge.setPathElement(false);			}		}		repaint();	}