javac accepts unicode digits - sometimes crashing

javac accepts unicode digits in many contexts in which the spec
requires that it only accept ASCII digits.

(1) in integral constants, after the first digit
(2) in floating point literals, after the first digit
(3) in unicode character constants

(1) and (3) are fairly harmless, but (2) causes the compiler to crash.