new Javadoc StyleGuide in overview.html