update javadoc for HEAD
update index.html