myGraph.repaint();
	public void refresh() {		//change color of lines		for (FigModuleEdge edge : myFigEdges)			edge.refresh();		//change color of nodes		for (FigModuleNode module : myFigModules)			module.refresh();	}