</lurk> Hi, http://java.sun.com/j2se/1.4.2/docs/api/java/util/SortedSet.html
Might be of help, although might have performance implications... Cheers, Ric <lurk> _______________________________________________ antlr-dev mailing list [email protected] http://www.antlr.org/mailman/listinfo/antlr-dev
