JDK7 branch job on Jenkins?

[Martin Desruisseaux]

Hello all

Yesterday, I tried for the first time to generate javadoc using JDK7. 
This has been a surprising amount of work. The JDK7 stylesheet is much 
more complex than the JDK6 one, resulting sometime in surprising 
behaviour (<pre> blocks rendered with bigger font than ordinary text, 
<li> rendered in different ways in class and method descriptions, 
<table> altered...). I have done my best in trying to solve various 
issues, resulting in the probably good side-effect of less HTML in 
javadoc and relying more on CSS.

Is there any objection to create a sis-jdk7 jobs on Jenkins in addition 
to the current sis-trunk? The intend is to allow developers on the JDK7 
branch to see their javadoc output, since it is quite different than the 
JDK6 one. This job may also be run more often given the current "develop 
on JDK7 / merge to trunk" cycle.

    Martin