Javadoc style updated to 1.7 format