*/
public DotGraph load(String dotContent) {
ByteArrayInputStream stream
= new ByteArrayInputStream(dotContent.getBytes()) ;
DOTParser dotParser = new DOTParser(stream) ;
DotGraph graph = null ;
try {
graph = dotParser.Parse() ;
}
catch (ParseException pe) {
System.out.println(pe.getMessage()) ;
throw new RuntimeException("Bad Dot file") ;
}