7576777879808182838485
char c = inputStream.readChar(); if (c == '\r' || c == '\n') { if (c == '\r') { c = inputStream.readChar(); if (c != '\n') { inputStream.backup(1); } } foundNewLine = true; break; }