It'd be nice if Jikes would fetch a sane default encoding from somewhere, for example the environment, or the output of "locale". My Linux box has LANG=en_US.UTF-8, so I would appreciate if Jikes would default to UTF-8.
Log in to post a comment.