/**

     * Reads a line of text.  A line is considered to be terminated by any one

     * of a line feed ('\n'), a carriage return ('\r'), or a carriage return

     * followed immediately by a linefeed.

     *

     * @return     A String containing the contents of the line, not including

     *             any line-termination characters, or null if the end of the

     *             stream has been reached

     *

     * @exception  IOException  If an I/O error occurs

     *

     * @see java.nio.file.Files#readAllLines

     */

    public String readLine() throws IOException {

        return readLine(false);

    }

    /**

     * Reads the next line of text from this file.  This method successively

     * reads bytes from the file, starting at the current file pointer,

     * until it reaches a line terminator or the end

     * of the file.  Each byte is converted into a character by taking the

     * byte's value for the lower eight bits of the character and setting the

     * high eight bits of the character to zero.  This method does not,

     * therefore, support the full Unicode character set.

     *

     * <p> A line of text is terminated by a carriage-return character

     * ({@code '\u005Cr'}), a newline character ({@code '\u005Cn'}), a

     * carriage-return character immediately followed by a newline character,

     * or the end of the file.  Line-terminating characters are discarded and

     * are not included as part of the string returned.

     *

     * <p> This method blocks until a newline character is read, a carriage

     * return and the byte following it are read (to see if it is a newline),

     * the end of the file is reached, or an exception is thrown.

     *

     * @return     the next line of text from this file, or null if end

     *             of file is encountered before even one byte is read.

     * @exception  IOException  if an I/O error occurs.

     */

    public final String readLine() throws IOException {

        StringBuffer input = new StringBuffer();

        int c = -1;

        boolean eol = false;

        while (!eol) {

            switch (c = read()) {

            case -1:

            case '\n':

                eol = true;

                break;

            case '\r':

                eol = true;

                long cur = getFilePointer();

                if ((read()) != '\n') {

                    seek(cur);

                }

                break;

            default:

                input.append((char)c);

                break;

            }

        }

        if ((c == -1) && (input.length() == 0)) {

            return null;

        }

        return input.toString();

    }