Make the Javadoc HTML5 compatible
71 files changed