Regenerate javadoc with jdk1.7 to get new stylesheet design