escaping html entity for javadoc