Fix to javadoc display, includes new stylesheet from Oracle, not completely fixed, but better.