108109110111112113114115116
} } private void monitor(Graph graph) { GraphLoadMonitor m = new GraphLoadMonitor(20000,false) ; //m.setSummaryLabel(getCommandName()) ; graph.getEventManager().register(m) ; }
107108109110111112113114115