Fix invalid characters in source code

http://jedit.svn.sourceforge.net/jedit/?view=rev&rev=19084
These characters caused errors while javadoc generation on my machine.
The error seems locale dependent, since the error message shows system
default encoding on my machine (MS932, for Japanese Windows).