Issue #1073 - JDK9 support in Jetty 9.3.x.

Restored module jetty-documentation for all profiles.

pom.xml

@@ -601,6 +601,7 @@
     <module>jetty-http-spi</module>
     <module>jetty-osgi</module>
     <module>jetty-alpn</module>
+    <module>jetty-documentation</module>
     <!-- modules that need fixed and added back, or simply dropped and not maintained -->
     <!--<module>jetty-rhttp</module>-->
     <!--<module>jetty-overlay-deployer</module>-->
@@ -914,15 +915,6 @@
         </plugins>
       </build>
     </profile>
-    <profile>
-      <id>jdk8</id>
-      <activation>
-        <jdk>[1.8,1.9)</jdk>
-      </activation>
-      <modules>
-        <module>jetty-documentation</module>
-      </modules>
-    </profile>
     <profile>
       <id>8u00</id>
       <activation>