LearnerGraph loaded = null;
synchronized (LearnerGraph.syncObj)
{// ensure that the calls to Jung's vertex-creation routines do not occur on different threads.
GraphMLFile graphmlFile = new GraphMLFile();
graphmlFile.setGraphMLFileHandler(new ExperimentGraphMLHandler());
loaded = new LearnerGraph(graphmlFile.load(new StringReader(writer.toString())),Configuration.getDefaultConfiguration());
}
Assert.assertTrue(!gr.wmethod.checkUnreachableStates());Assert.assertTrue(!loaded.wmethod.checkUnreachableStates());
WMethod.checkM(loaded, gr);
for(Entry<CmpVertex,LinkedList<String>> entry:gr.wmethod.computeShortPathsToAllStates().entrySet())