The specification of java.lang.Character.isIdentifierIgnorable disagrees
with the JLS. This is from isIdentifierIgnorable:

"Determines if the specified character should be regarded as an ignorable
character in a Java identifier ... "

This is from JLS:

"Two identifiers are the same only if they are identical, that is, have
the same Unicode character for each letter or digit."

Also see http://forum.java.sun.com/thread.jspa?forumID=316&threadID=583420

###@###.### 2005-1-06 01:28:12 GMT