if( parentFile != null && !parentFile.exists() )
parentFile.mkdirs();
Writer writer = new FileWriter( filename );
new DOTExporter( new IntegerNameProvider(), new StringNameProvider(), new StringEdgeNameProvider() ).export( writer, getDelegate() );
writer.close();
Util.writePDF( filename );
}