} int secondChoice = entries[i].getLineNumber(); for(; i < entries.length; i++)  { int line = entries[i].getLineNumber(); if (line > beforePC) return line; } return secondChoice;
  private int getNextExecutableLineNumber(LineNumberTable linenumbers,			int PC) {	LineNumber [] entries = linenumbers.getLineNumberTable();	int beforePC = 0;	int i = 0;	for(; i < entries.length && entries[i].getStartPC() < PC; i++)  {		int line = entries[i].getLineNumber();		if (line > beforePC)			beforePC = line;		}	int secondChoice = entries[i].getLineNumber();	for(; i < entries.length; i++)  {		int line = entries[i].getLineNumber();		if (line > beforePC)			return line;		}	return secondChoice;	}