updated javadocs in html