anchor.diff:      List<Token> tokens = new ArrayList<Token>();
       while (true) {
         Token t = tstream.next();
  -      if (t == null) break;
  +      if (t==null) break;
         tokens.add(t);
       }
       return tokens;
  
positive.code:     Token token;
      int pos;
      Tok(Token token, int pos) {
        this.token = token;
        this.pos = pos;
      }
  
      public boolean equals(Object o) {
  
negative.code: 
      );
  
      out.println("<table width=\"auto\" class=\"analysis\" border=\"1\">");
  
      if (verbose) {
        printRow(out,"term position", arr, new ToStr() {
          public String toStr(Object o) {
            return Integer.toString(((Tok)o).pos);
          }
        }
                ,false
                ,verbose
                ,null);
      }
  
  
      printRow(out,"term text", arr, new ToStr() {
        public String toStr(Object o) {
          return ft.indexedToReadable( ((Tok)o).token.termText() );
        }
      }
              ,true
              ,verbose
              ,match
     );
  
      if (needRaw) {
        printRow(out,"raw text", arr, new ToStr() {
          public String toStr(Object o) {
            // todo: output in hex or something?
            // check if it's all ascii or not?
            return ((Tok)o).token.termText();
          }
        }
                ,true
                ,verbose
                ,match
        );
      }
  
      if (verbose) {
        printRow(out,"term type", arr, new ToStr() {
          public String toStr(Object o) {
            return  ((Tok)o).token.type();
          }
        }
                ,true
                ,verbose,
                null
        );
      }
  
      if (verbose) {
        printRow(out,"source start,end", arr, new ToStr() {
          public String toStr(Object o) {
            Token t = ((Tok)o).token;
            return Integer.toString(t.startOffset()) + ',' + t.endOffset() ;
          }
        }
                ,true
                ,verbose
                ,null
        );
      }
  
      out.println("</table>");
    }
  
  %>
  