From e37d5082a8525a81453195b12510368314291034 Mon Sep 17 00:00:00 2001
From: ywcb00 <ywcb00@ywcb.org>
Date: Wed, 9 Sep 2026 15:10:35 +0200
Subject: [PATCH 1/2] fix(.github/workflows/javaCodestyle.yml): temporarily
 deactivate java formatter until the issue with the formatting script is fixed

---
 .github/workflows/javaCodestyle.yml | 78 ++++++++++++++---------------
 1 file changed, 39 insertions(+), 39 deletions(-)

diff --git a/.github/workflows/javaCodestyle.yml b/.github/workflows/javaCodestyle.yml
index 12c70f19fe4..233457938ea 100644
--- a/.github/workflows/javaCodestyle.yml
+++ b/.github/workflows/javaCodestyle.yml
@@ -74,46 +74,46 @@ jobs:
     - name: Run Checkstyle
       run: mvn -ntp -B -Dcheckstyle.skip=false checkstyle:check
 
-  java_format:
-    name: Java Format Check
-    # line-scoped to the PR diff -> needs the pull_request base commit
-    if: github.event_name == 'pull_request'
-    runs-on: ubuntu-latest
-    steps:
-    - name: Checkout Repository
-      uses: actions/checkout@v7
-      with:
-        fetch-depth: 0
+  # java_format:
+  #   name: Java Format Check
+  #   # line-scoped to the PR diff -> needs the pull_request base commit
+  #   if: github.event_name == 'pull_request'
+  #   runs-on: ubuntu-latest
+  #   steps:
+  #   - name: Checkout Repository
+  #     uses: actions/checkout@v7
+  #     with:
+  #       fetch-depth: 0
 
-    - name: Setup Java 17 adopt
-      uses: actions/setup-java@v5
-      with:
-        distribution: adopt
-        java-version: '17'
-        cache: 'maven'
+  #   - name: Setup Java 17 adopt
+  #     uses: actions/setup-java@v5
+  #     with:
+  #       distribution: adopt
+  #       java-version: '17'
+  #       cache: 'maven'
 
-    - name: Setup Python
-      uses: actions/setup-python@v7
-      with:
-        python-version: '3.11'
+  #   - name: Setup Python
+  #     uses: actions/setup-python@v7
+  #     with:
+  #       python-version: '3.11'
 
-    - name: Unit-test the format checker
-      run: |
-        python -m pip install --quiet pytest
-        python -m pytest dev/tests -q
+  #   - name: Unit-test the format checker
+  #     run: |
+  #       python -m pip install --quiet pytest
+  #       python -m pytest dev/tests -q
 
-    - name: Check formatting of PR-edited lines
-      env:
-        BASE_SHA: ${{ github.event.pull_request.base.sha }}
-      run: |
-        # Fails only if the Eclipse formatter would change a line this PR edited.
-        # See dev/format_changed.py for the line-scoping logic.
-        if ! python3 dev/format_changed.py --check "$BASE_SHA"; then
-          echo "::error::Some lines edited by this PR are not formatted per dev/CodeStyle_eclipse.xml."
-          echo "Fix only your edited lines locally and commit the result:"
-          echo ""
-          echo "  dev/format-changed.sh"
-          echo ""
-          echo "(Do NOT run a bare 'mvn formatter:format' -- it reformats the whole tree.)"
-          exit 1
-        fi
+  #   - name: Check formatting of PR-edited lines
+  #     env:
+  #       BASE_SHA: ${{ github.event.pull_request.base.sha }}
+  #     run: |
+  #       # Fails only if the Eclipse formatter would change a line this PR edited.
+  #       # See dev/format_changed.py for the line-scoping logic.
+  #       if ! python3 dev/format_changed.py --check "$BASE_SHA"; then
+  #         echo "::error::Some lines edited by this PR are not formatted per dev/CodeStyle_eclipse.xml."
+  #         echo "Fix only your edited lines locally and commit the result:"
+  #         echo ""
+  #         echo "  dev/format-changed.sh"
+  #         echo ""
+  #         echo "(Do NOT run a bare 'mvn formatter:format' -- it reformats the whole tree.)"
+  #         exit 1
+  #       fi

From 146bf3530bf3da3deb8b3c5a32d1cf7c52a3a9a6 Mon Sep 17 00:00:00 2001
From: ywcb00 <ywcb00@ywcb.org>
Date: Wed, 9 Sep 2026 15:51:20 +0200
Subject: [PATCH 2/2] fix(dev/format-changed.sh): hide the execution of the
 formatting script behind a warning and the --force flag

---
 dev/format-changed.sh | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/dev/format-changed.sh b/dev/format-changed.sh
index a49192e3d29..cab25c429eb 100755
--- a/dev/format-changed.sh
+++ b/dev/format-changed.sh
@@ -43,6 +43,14 @@
 #
 set -euo pipefail
 
-cd "$(git rev-parse --show-toplevel)"
+if [ $# -ne 0 ]; then
+if [[ "$1" == "--force" ]]; then
+    shift;
+    echo "Please check the resulting changes very carefully, as they might contain undesired modifications to the code.";
+    cd "$(git rev-parse --show-toplevel)";
+    exec python3 dev/format_changed.py --fix "$@";
+fi
+fi
 
-exec python3 dev/format_changed.py --fix "$@"
+echo "The formatting script is currently not supported, as it performs undesired modifications of code. You can still run this script with the '--force' flag. However, please double check the results very carefully." >&2;
+exit 1;