code: private String readTrimmedLine() throws IOException {
          String line = readLine();
          if (line != null)
              return line.trim();
          else
              throw new EOFException();
      }
docs: Reads a line, and trims it of surrounding whitespace
  
  @throws IOException
  If either I/O errors occur, or there was nothing to read