Re: Weird characters in java/lang/Character.java

[Etienne M. Gagnon]

Tom Tromey wrote:
> I'm guessing that jikes is assuming one particular character encoding
> for the input file (probably UTF-8), while Character.java is actually
> written in Latin-1.
>
> So telling jikes about the actual encoding would probably work.

jikes -encoding latin1 fails too.  ASCII (or Unicode escapes) rewrite 
would be best.  Anyway, these are in the /** javadoc comments */ parts 
mainly, so they would probably cause problems for correct display in 
browsers.

Etienne
--
Etienne M. Gagnon                               address@hidden
SableVM:                                       http://www.sablevm.org/
SableCC:                                       http://www.sablecc.org/