Eclipse 2025-06 update, ANTLR update, platform refactor

.github/workflows/maven.yml

@@ -0,0 +1,105 @@
+# This workflow will build a Java project with Maven, and cache/restore any dependencies to improve the workflow execution time
+# For more information see: https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-java-with-maven
+
+name: Java CI with Maven
+
+on:
+  push:
+    branches: [ "develop" ]
+  pull_request:
+    branches: [ "develop" ]
+
+permissions:
+  contents: write
+  pages: write
+  id-token: write
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v4
+    - name: Set up JDK 21
+      uses: actions/setup-java@v4
+      with:
+        java-version: '21'
+        distribution: 'temurin'
+        cache: maven
+
+    - name: Cache Maven packages
+      uses: actions/cache@v4
+      with:
+        path: ~/.m2/repository
+        key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
+        restore-keys: |
+          ${{ runner.os }}-maven
+
+    - name: Build with Maven
+      run: mvn -B compile --file pom.xml
+
+  build-update-site:
+    runs-on: ubuntu-latest
+    needs: build
+
+    steps:
+      - uses: actions/checkout@v4
+      - name: Set up JDK 21
+        uses: actions/setup-java@v4
+        with:
+          java-version: '21'
+          distribution: 'temurin'
+          cache: maven
+
+      - name: Cache Maven packages
+        uses: actions/cache@v4
+        with:
+          path: ~/.m2/repository
+          key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
+          restore-keys: |
+            ${{ runner.os }}-maven
+
+      - name: Build update site only
+        run: mvn -B -Pnu package
+
+      - name: Upload update site artifact
+        uses: actions/upload-artifact@v4
+        with:
+          name: update-site
+          path: deploy/NightlyUpdate/target/repository
+
+
+  deploy-update-site:
+    runs-on: ubuntu-latest
+    needs: build-update-site
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Create artifact download directory
+        run: mkdir update-site
+
+      - name: Download artifact
+        uses: actions/download-artifact@v4
+        with:
+          name: update-site
+          path: update-site/
+
+      - name: Add .nojekyll
+        run: touch .nojekyll
+
+      - name: Setup Pages
+        uses: actions/configure-pages@v5
+
+      - name: Upload Pages artifact
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: update-site/
+
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4

deploy/NightlyUpdate/category.xml

@@ -1,60 +1,59 @@
 <?xml version="1.0" encoding="UTF-8"?>
-
 <!DOCTYPE site [
-  <!ENTITY version "3.8.0">
-  <!ENTITY category "FeatureIDE-&version;-UpdateSite">
+	<!ENTITY version "3.11.1">
+	<!ENTITY category "FeatureIDE-&version;-UpdateSite">
 ]>
 
 <site>
 	<category-def name="&category;" label="&category;">
 		<description name="&category;" url="http://featureide.cs.ovgu.de/update/v3/">FeatureIDE v3.x</description>
-		<version>3.8.0</version>
+		<version>3.11.1</version>
 	</category-def>
 
-	<feature url="features/br.ufal.ic.colligens.feature_1.1.4.qualifier.jar" id="br.ufal.ic.colligens.feature" version="1.1.4.qualifier">
-	    <category name="&category;"/>
-	</feature>
-
-	<feature url="features/de.ovgu.featureide.ahead_&version;.qualifier.jar" id="de.ovgu.featureide.ahead" version="&version;.qualifier">
-	    <category name="&category;"/>
+	<feature url="features/br.ufal.ic.colligens.feature_1.1.4.qualifier.jar"
+		id="br.ufal.ic.colligens.feature" version="1.1.4.qualifier">
+		<category name="&category;" />
 	</feature>
 
-	<feature url="features/de.ovgu.featureide.antenna_&version;.qualifier.jar" id="de.ovgu.featureide.antenna" version="&version;.qualifier">
-	    <category name="&category;"/>
+	<feature url="features/de.ovgu.featureide.ahead_&version;.qualifier.jar"
+		id="de.ovgu.featureide.ahead" version="&version;.qualifier">
+		<category name="&category;" />
 	</feature>
 
-	<feature url="features/de.ovgu.featureide.aspectj_&version;.qualifier.jar" id="de.ovgu.featureide.aspectj" version="&version;.qualifier">
-	    <category name="&category;"/>
+	<feature url="features/de.ovgu.featureide.antenna_&version;.qualifier.jar"
+		id="de.ovgu.featureide.antenna" version="&version;.qualifier">
+		<category name="&category;" />
 	</feature>
 
-	<feature url="features/de.ovgu.featureide.exampleprojects_&version;.qualifier.jar" id="de.ovgu.featureide.exampleprojects" version="&version;.qualifier">
-	    <category name="&category;"/>
+	<feature url="features/de.ovgu.featureide.aspectj_&version;.qualifier.jar"
+		id="de.ovgu.featureide.aspectj" version="&version;.qualifier">
+		<category name="&category;" />
 	</feature>
 
-	<feature url="features/de.ovgu.featureide_&version;.qualifier.jar" id="de.ovgu.featureide" version="&version;.qualifier">
-	    <category name="&category;"/>
+	<feature url="features/de.ovgu.featureide_&version;.qualifier.jar" id="de.ovgu.featureide"
+		version="&version;.qualifier">
+		<category name="&category;" />
 	</feature>
 
-	<feature url="features/de.ovgu.featureide.featurecpp_&version;.qualifier.jar" id="de.ovgu.featureide.featurecpp" version="&version;.qualifier">
-	    <category name="&category;"/>
+	<feature url="features/de.ovgu.featureide.featurecpp_&version;.qualifier.jar"
+		id="de.ovgu.featureide.featurecpp" version="&version;.qualifier">
+		<category name="&category;" />
 	</feature>
 
-	<feature url="features/de.ovgu.featureide.featurehouse_&version;.qualifier.jar" id="de.ovgu.featureide.featurehouse" version="&version;.qualifier">
-	    <category name="&category;"/>
+	<feature url="features/de.ovgu.featureide.featurehouse_&version;.qualifier.jar"
+		id="de.ovgu.featureide.featurehouse" version="&version;.qualifier">
+		<category name="&category;" />
 	</feature>
 
-	<feature url="features/de.ovgu.featureide.featuremodeling_&version;.qualifier.jar" id="de.ovgu.featureide.featuremodeling" version="&version;.qualifier">
-	   	<category name="&category;"/>
+	<feature url="features/de.ovgu.featureide.featuremodeling_&version;.qualifier.jar"
+		id="de.ovgu.featureide.featuremodeling" version="&version;.qualifier">
+		<category name="&category;" />
 	</feature>
 
-	<feature url="features/de.ovgu.featureide.munge_&version;.qualifier.jar" id="de.ovgu.featureide.munge" version="&version;.qualifier">
-	    <category name="&category;"/>
+	<feature url="features/de.ovgu.featureide.munge_&version;.qualifier.jar"
+		id="de.ovgu.featureide.munge" version="&version;.qualifier">
+		<category name="&category;" />
 	</feature>
-
-	<feature url="features/de.ovgu.featureide.munge.android_&version;.qualifier.jar" id="de.ovgu.featureide.munge.android" version="&version;.qualifier">
-	    <category name="&category;"/>
-	</feature>
-
 </site>
 
 

experimental/de.ovgu.featureide.core.typecheck/.classpath

@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="lib" path="lib/commons-cli-1.2/commons-cli-1.2.jar" sourcepath="lib/commons-cli-1.2/commons-cli-1.2-sources.jar">

experimental/de.ovgu.featureide.core.typecheck/.settings/org.eclipse.jdt.core.prefs

@@ -1,11 +1,14 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
-org.eclipse.jdt.core.compiler.compliance=1.7
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.debug.lineNumber=generate
 org.eclipse.jdt.core.compiler.debug.localVariable=generate
 org.eclipse.jdt.core.compiler.debug.sourceFile=generate
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.7
+org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
+org.eclipse.jdt.core.compiler.release=enabled
+org.eclipse.jdt.core.compiler.source=21

experimental/de.ovgu.featureide.core.typecheck/META-INF/MANIFEST.MF

@@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2
 Bundle-Name: Type Checking Plug-in
 Bundle-SymbolicName: de.ovgu.featureide.core.typecheck;singleton:=true
 Bundle-Version: 2.6.0.qualifier
-Bundle-RequiredExecutionEnvironment: JavaSE-1.7
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Require-Bundle: org.eclipse.ui,
  org.eclipse.core.runtime,
  org.eclipse.core.resources,

experimental/de.ovgu.featureide.fm.extended.ui/.classpath

@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry excluding=".svn/" kind="src" path="src"/>
 	<classpathentry kind="src" path="test"/>

experimental/de.ovgu.featureide.fm.extended.ui/.settings/org.eclipse.jdt.core.prefs

@@ -1,8 +1,10 @@
-#Thu Mar 31 17:38:21 CEST 2011
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
-org.eclipse.jdt.core.compiler.compliance=1.6
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.6
+org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
+org.eclipse.jdt.core.compiler.release=enabled
+org.eclipse.jdt.core.compiler.source=21

experimental/de.ovgu.featureide.fm.extended.ui/META-INF/MANIFEST.MF

@@ -11,8 +11,6 @@ Require-Bundle: org.eclipse.ui,
  de.ovgu.featureide.fm.core,
  de.ovgu.featureide.fm.ui,
  org.sat4j.core;bundle-version="2.2.0",
- org.sat4j.pb;bundle-version="2.2.0",
- org.antlr.runtime;bundle-version="3.2.0",
- org.junit4;bundle-version="4.5.0"
-Bundle-RequiredExecutionEnvironment: JavaSE-1.6
+ org.sat4j.pb;bundle-version="2.2.0"
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-ActivationPolicy: lazy

experimental/de.ovgu.featureide.ui.ahead/.gitignore

@@ -0,0 +1 @@
+/bin/