Problem with element selectors having unicode characters

Hi,

The CSSParser.jj file declares at line 417 NONASCII as ["\200"-"\377"] 
That does not comprise the whole UNICODE range.
It should be something like: ~["\000"-"\177"] This means all non-ASCII.
I attached 2 sample files. The CSS contains a Japanese character in a 
selector and is marked as invalid by you but a browser has no problems 
matching the CSS selector to the element name.
Any input on this one?

Regards,
Radu

-- 
Radu Coravu 
<oXygen/> XML Editor, Schema Editor and XSLT Editor/Debugger
http://www.oxygenxml.com