support unicode for identifiers (Java)
|Reported by:||lama||Owned by:||somebody|
could you please support unicode for identifiers? Occasionally there is a student who uses an umlaut in an identifier.
It's no fun to hand edit my students' submissions to get rid of errors that are in fact not errors.