anchor.diff:         }
          else if (indent > previous) {
            indents.push(indent);
  -         emit(new CommonToken(Python3Parser.INDENT, "INDENT"));
  +         emit(commonToken(Python3Parser.INDENT, spaces));
          }
          else {
            // Possibly emit more than 1 DEDENT token.
            while(!indents.isEmpty() && indents.peek() > indent) {
  -           emit(new CommonToken(Python3Parser.DEDENT, "DEDENT"));
  +           this.emit(createDedent());
              indents.pop();
            }
          }
  
positive.code:        skip();
       }
       else {
         emit(new CommonToken(NEWLINE, "\n"));
  
         int indent = getIndentationCount(spaces);
         int previous = indents.isEmpty() ? 0 : indents.peek();
  
negative.code: NEWLINE
   : ( '\r'? '\n' | '\r' ) SPACES?
     {
       String newLine = getText().replaceAll("[^\r\n]+", "");
       String spaces = getText().replaceAll("[\r\n]+", "");
       int next = _input.LA(1);
  
  