this.editor = editor;
}
protected void init() {
model = new DefaultGraphModel();
view = new GraphLayoutCache(model, new ReachabilityGraphViewFactory());
view.setAutoSizeOnValueChange(true);
view.setSelectsAllInsertedCells(false);
graph = new ReachabilityJGraph(model, view);
graph.addMouseListener(new ReachabilityCellListener(graph, editor));
}