anchor.diff:  
       printRow(out,"term text", arr, new ToStr() {
         public String toStr(Object o) {
  -        return ft.indexedToReadable( ((Tok)o).token.toString() );
  +        return ft.indexedToReadable( ((Tok)o).toPrintableString() );
         }
       }
               ,true
  
positive.code:     }
      public String toString() {
        return token.toString();
      }
    }
  
  
negative.code:     if (verbose) {
        printRow(out,"source start,end", arr, new ToStr() {
          public String toStr(Object o) {
            AttributeSource t = ((Tok)o).token;
            return Integer.toString(t.addAttribute(OffsetAttribute.class).startOffset()) + ',' + t.addAttribute(OffsetAttribute.class).endOffset() ;
          }
        }
                ,true
  