return '\n'; character = currentLine.charAt(currentPos);
character = '\n'; else character = currentLine.charAt(currentPos);
    public int read() throws IOException {        if (currentLineNumber >= annotations.size())            return -1; // end of stream        if (currentPos > currentLine.length()) {            getNextLine();            if (currentLineNumber >= annotations.size())                return -1; // end of stream                        }        int character;        if (currentPos == currentLine.length())            return '\n';        character = currentLine.charAt(currentPos);        currentPos++;        available--;        return character;    }