Delete non-ASCII character which was causing javac to blow up.