Correct HTML entities in javadoc