}
@SuppressWarnings({"unchecked"})
private static void printGraph( Writer writer, SimpleDirectedGraph graph )
{
DOTExporter dot = new DOTExporter( new IntegerNameProvider(), new VertexNameProvider()
{
public String getVertexName( Object object )
{
if( object == null )
return "none";