if ( row < 0 ) { System.err.println( "no mapping? " + ((State)vertex.getUserDatum( STATE )).getName() ); return; }
    protected void initialize_local_vertex( Vertex vertex )    {        int row = rowList.getRow( vertex );                if ( row < 0 )        {            System.err.println( "no mapping? " + ((State)vertex.getUserDatum( STATE )).getName() );            return;        }                int col = rowList.getColumn( vertex );                if ( col < 0 )        {            System.err.println( "no mapping? " + ((State)vertex.getUserDatum( STATE )).getName() );            return;        }                int widthPx  = this.getCurrentSize().width;        int heightPx = this.getCurrentSize().height;                int rowWidth = rowList.getWidth( row );                int columnWidthPx = getColumnWidth();        int rowHeightPx = getRowHeight();                Coordinates coords = new Coordinates();                double x = ( col * columnWidthPx );        double y = ( row * ( rowHeightPx * ROW_HEIGHT_MULTIPLIER ) );                x = x + ( widthPx / 2 ) - ( ( rowWidth - 1 ) * ( columnWidthPx / 2 ) );        y = y + ( rowHeightPx/2 ) + 3;                State state = (State) vertex.getUserDatum( STATE );                coords.setX( x );        coords.setY( y );                vertex.setUserDatum( COORDS, coords, new UserDataContainer.CopyAction.Shared() );    }