Re: [15] 8235792: LineNumberReader.getLineNumber() behavior is inconsistent with respect to EOF