Coordinates coords = getCoordinates( vertex );  if ( coords == null ) { System.err.println( "x no coord: " + ((State)vertex.getUserDatum( STATE )).getName() ); return 0; }
    public double getX(Vertex vertex)    {        Coordinates coords = getCoordinates( vertex );                if ( coords == null )        {            System.err.println( "x no coord: " + ((State)vertex.getUserDatum( STATE )).getName() );            return 0;        }        return getCoordinates( vertex ).getX();    }