A Preference page to control usage of Javac backend

Author: mickaelistria

Jenkinsfile

@@ -26,7 +26,7 @@ pipeline {
 						-Dtycho.buildqualifier.format="'z'yyyyMMdd-HHmm" \
 						-Pp2-repo \
 						-Djava.io.tmpdir=$WORKSPACE/tmp -Dproject.build.sourceEncoding=UTF-8 \
-						-pl org.eclipse.jdt.core.javac,org.eclipse.jdt.core.javac.feature,org.eclipse.jdt.core.tests.model,org.eclipse.jdt.core.tests.compiler,repository
+						-pl org.eclipse.jdt.core.javac,org.eclipse.jdt.core.javac.configurator,org.eclipse.jdt.javac.ui,org.eclipse.jdt.javac.feature,org.eclipse.jdt.core.tests.model,org.eclipse.jdt.core.tests.compiler,repository
 
 					mvn verify --batch-mode -pl org.eclipse.jdt.core.compiler.batch,org.eclipse.jdt.core,org.eclipse.jdt.core.tests.javac -Dmaven.repo.local=$WORKSPACE/.m2/repository \
 						--fail-at-end -Ptest-on-javase-25 -Pbree-libs \

org.eclipse.jdt.core.javac.feature/feature.xml

@@ -61,7 +61,9 @@
     <module>org.eclipse.jdt.core.compiler.batch</module>
     <module>org.eclipse.jdt.core</module>
     <module>org.eclipse.jdt.core.javac</module>
-    <module>org.eclipse.jdt.core.javac.feature</module>
+    <module>org.eclipse.jdt.core.javac.configurator</module>
+    <module>org.eclipse.jdt.javac.ui</module>
+    <module>org.eclipse.jdt.javac.feature</module>
     <module>org.eclipse.jdt.core.formatterapp</module>
     <module>org.eclipse.jdt.compiler.tool.tests</module>
     <module>org.eclipse.jdt.core.tests.builder.mockcompiler</module>