StringBuffer sb = new StringBuffer(); for ( int i = 0; i < col-1; i++ ) sb.append( " " ); sb.append( "|" ); System.err.println( sb.toString() );
if (t == null) { System.err.println( "" ); return; }
    private static void printSourceLine( Token t ) {        int line = 0;        int col = 0;        System.err.print("In file " + filename );        if ( t != null ) {            line = t.beginLine;            col = t.beginColumn;            String sourceLine = source.getLine( line-1 );            System.err.println(" at line " + line +", column " + col );            System.err.println( sourceLine );            // now print a pointer to the position                        StringBuffer sb = new StringBuffer();            for ( int i = 0; i < col-1; i++ )                sb.append( " " );            sb.append( "|" );            System.err.println( sb.toString() );        } else {            System.err.println( "" );        }    }