static Set tok_allIdentifiers(S s) { ret new HashSet(filter isIdentifier(javaTokC(s))); }