*/
public void setGraphFactory(GraphFactory factory) {
if(factory == null) {
throw new NullPointerException("GraphFactory must not be null");
}
GraphFactory oldGraphFactory = this.graphFactory;
this.graphFactory = factory;
firePropertyChangeEvent(Controller.GRAPH_FACTORY_PROPERTY, oldGraphFactory, graphFactory);
}