public String readLine() throws IOException {
		return readLine(false);
	}
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
Ghidra/Features/Base/src/main/java/ghidra/app/util/opinion/BoundedBufferedReader.java