public final String readLine() throws IOException
Doesn't handle non-ASCII character sets well
Makes dangerous assumptions about line endings