code: protected void processWhiteSpace(int pos, int endPos) {
          if (scannerDebug)
              System.out.println("processWhitespace(" + pos
                                 + "," + endPos + ")=|" +
                                 new String(reader.getRawCharacters(pos, endPos))
                                 + "|");
      }
docs: Called when a complete whitespace run has been scanned. pos and endPos
  will mark the whitespace boundary.