We're updating the issue view to help you get more done. 

Update JavaDoc stylesheet when building with Java 7

Description

With JDK 7, the generated HTML output for JavaDocs uses different CSS classes. In case we want to build with JDK 7, we have to update our custom stylesheet (src/main/javadoc/stylesheet.css).

Environment

None

Status

Assignee

Hardy Ferentschik

Reporter

Gunnar Morling

Labels

None

Worked in

None

Feedback Requested

None

Feedback Requested By

None

backPortable

None

Community Help Wanted

None

Suitable for new contributors

None

Requires Release Note

None

Pull Request

None

backportDecision

None

backportReEvaluate

None

Components

Fix versions

Affects versions

5.0.0.Alpha2

Priority

Major