Are the names guaranteed to be sorted by serial number (the one given in the tokens file, that is)? It seems so but then javadocs don't say and they are listed in random order in the tokens file rather than in the sorted order you'd expect. If there is such a guarantee, it would be good it if could be made explicit. Regards, -- O.L.