diff --git a/Jenkinsfile b/Jenkinsfile
index bfb99034f8..c1fc656269 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -21,8 +21,6 @@ pipeline {
 						-Pbree-libs \
 						-Papi-check \
 						-Pjavadoc \
-						-DDetectVMInstallationsJob.disabled=true \
-						-Dtycho.apitools.debug \
 						-Dmaven.test.error.ignore=true -Dmaven.test.failure.ignore=true
 					'''
 				}