Merge branch 'jetty-9.2.x' into jetty-9.3.x

Jenkinsfile

@@ -19,8 +19,10 @@ node {
   try
   {
     stage 'Compile'
-    withEnv(mvnEnv) {
-      sh "mvn -B clean install -Dtest=None"
+    timeout(15) {
+      withEnv(mvnEnv) {
+        sh "mvn -B clean install -Dtest=None"
+      }
     }
   } catch(Exception e) {
     notifyBuild("Compile Failure")
@@ -30,8 +32,10 @@ node {
   try
   {
     stage 'Javadoc'
-    withEnv(mvnEnv) {
-      sh "mvn -B javadoc:javadoc"
+    timeout(15) {
+      withEnv(mvnEnv) {
+        sh "mvn -B javadoc:javadoc"
+      }
     }
   } catch(Exception e) {
     notifyBuild("Javadoc Failure")