new GUIOpener().install(param);
new JGraphSettings().install(param);
new LookAndFeelChanger().install(param);
new NotepadPlugin().install(param);
new PathSelectingPlugin().install(param);
new AttributePlugin().install(param);
new StorablePlugin().install(param);
new ZoomPlugin().install(param);
view.quit();
}
System.out.println("Stady state: It may take several minutes");
float best = -1;
for(i = 0; i < 5; i++) {
SQLite4JavaModel model = new SQLite4JavaModel();
GraphLayoutManager layoutManager = new GraphLayoutManager();
SwingUserInterface view = new SwingUserInterface(model, "Welcome to Visual Graph", layoutManager);
PluginParameter param = new PluginParameter(model, view);
// adding system functions--------
long start = new Date().getTime();
new SimpleTabCloser(view);
new DesktopPlugin().install(param);
new mxLayoutsRegister(view.getGraphLayoutManager());
new FilterPlugin().install(param);
new UndoAndRedo().install(param);
new SearchPlugin().install(param);
new GUIOpener().install(param);
new JGraphSettings().install(param);
new LookAndFeelChanger().install(param);
new NotepadPlugin().install(param);
new PathSelectingPlugin().install(param);
new AttributePlugin().install(param);
new StorablePlugin().install(param);
new ZoomPlugin().install(param);
view.quit();
long finish = new Date().getTime();
if((best > 0 && (finish - start)/1000.0 < best) || best < 0) {