Updating stylesheet for generating JavaDocs with JDK 7