Jenkins server: rename "sis-jdk7" job as "sis-dev"?

[Martin Desruisseaux]

Hello all

We currently have two jobs on the Apache jenkins server:

* https://builds.apache.org/job/sis-trunk
* https://builds.apache.org/job/sis-jdk7

Any objection to rename "sis-jdk7" as "sis-dev" and to make it point
toward the JDK8 branch?

    Martin