Included the javadoc HTML escaper