fix Javadoc syntax highlighting