PR141

[Tom Tromey]

>> This is an interesting one.  My reading is that `.' shouldn't be
>> treated as a number and that this is actually a bug in the JDK.

Andrew> I don't think so.  If you look at the spec, it says that "if a
Andrew> numeric character is encountered, then an attempt is made to
Andrew> recognize a number.

It seems weird to me that StreamTokenizer would have a different
definition of number than the JLS.  But you're right, that text
doesn't leave much room for alternate interpretations.

Andrew> I will submit a revised patch.  Minus zero, indeed!  :-)

Yeah.  Thanks!

Tom