Have Jenkins use the 11.4 RPM.

Author: BillFarber

Jenkinsfile

@@ -155,10 +155,10 @@ pipeline{
         }
       }
       steps {
-        copyRPM 'Latest','11'
+        copyRPM 'Latest','11.4'
         sh 'sudo /usr/local/sbin/mladmin removeforest /space/Forests'
         setUpML '$WORKSPACE/xdmp/src/Mark*.rpm'
-        copyConvertersRPM 'Latest','11'
+        copyConvertersRPM 'Latest','11.4'
         setUpMLConverters '$WORKSPACE/xdmp/src/Mark*Converters*.rpm'
         sh label:'deploy test app', script: '''#!/bin/bash
           export JAVA_HOME=$JAVA_HOME_DIR
@@ -218,7 +218,7 @@ pipeline{
 				}
 			}
 			steps {
-				runAllTests('Latest', '11', false)
+				runAllTests('Latest', '11.4', false)
 				junit '**/build/**/TEST*.xml'
 			}
 		}
@@ -231,7 +231,7 @@ pipeline{
 				}
 			}
 			steps {
-				runAllTests('Latest', '11', true)
+				runAllTests('Latest', '11.4', true)
 				junit '**/build/**/TEST*.xml'
 			}
 		}