/TagGenerator.java/1.6/Fri Jun  1 11:30:07 2007//
/TaggedToken.java/1.2/Wed May 30 10:17:23 2007//
