Fix encoding problem in javadoc