code: private String readLine() throws IOException {
          String line = input.readLine();
          lineNumber = lineNumber + 1;
          logger.debug("LINE (" + lineNumber + "): ", line);
          return line;
      }
docs: private procedures