}
    private void checkTable(LineNumberTable table) {	if (DEBUG) System.out.println("line number table has length " + table.getTableLength());	LineNumber[] entries = table.getLineNumberTable();	int lastBytecode = -1;	for (int i = 0; i < entries.length; ++i) {	    LineNumber ln = entries[i];	    if (DEBUG) System.out.println("Entry " + i + ": pc=" + ln.getStartPC() + ", line=" + ln.getLineNumber());	    int pc = ln.getStartPC();	    if (pc <= lastBytecode) throw new IllegalStateException("LineNumberTable is not sorted");	}    }