Deactivate slow Red Hat repos on Jenkins to speed up the build

Signed-off-by: Fred Bricon <[email protected]>

Author: fbricon

Jenkinsfile

@@ -15,7 +15,7 @@ def buildVscodeExtension(){
 node('rhel7'){
 	stage 'Build JDT LS'
 	git url: 'https://github.com/eclipse/eclipse.jdt.ls.git'
-	sh "./mvnw clean verify -B -U -e -Pserver-distro -Dtycho.disableP2Mirrors=true"
+	sh "./mvnw clean verify -B -U -e -Pserver-distro -Dtycho.disableP2Mirrors=true -P!jboss-maven-repos,!redhat-ga-repository,!redhat-ea-repository"
 
 	def files = findFiles(glob: '**/org.eclipse.jdt.ls.product/distro/**.tar.gz')
 	stash name: 'server_distro', includes :files[0].path