javadoc added to class HTMLExplorer