Nodes
100101102103104105106107108109110111112
if(is != null) { try { DotParameterSetter paramSetter = new DotParameterSetter(); paramSetter.setGraph(g); DotParser.parse(paramSetter, is); } catch(ParseException e) {