Fix the Javadoc encoding.