return secondChoice;
return secondChoice; } else return entries[entries.length - 1].getLineNumber();
  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;	}		if (i < entries.length) {		int secondChoice = entries[i].getLineNumber();		for(; i < entries.length; i++)  {			int line = entries[i].getLineNumber();			if (line > beforePC)				return line;			}		return secondChoice;	}	else		return entries[entries.length-1].getLineNumber();  }