From cedd9bfa0f7ceaea177b184085c7ba953614605d Mon Sep 17 00:00:00 2001
From: Vitali Graf <info@vitaligraf.de>
Date: Sun, 28 Dec 2025 15:13:10 +0100
Subject: [PATCH] =?UTF-8?q?Bugfix:=20Java=20Escape-Sequenz=20f=C3=BCr=20Pi?=
 =?UTF-8?q?pe-Separator=20korrigiert?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Problem:
- Java-Kompilierung fehlgeschlagen: "illegal escape character"
- Python-String hatte `\|\|\|` statt `\\|\\\|\\|`
- Beim Schreiben in Java-Datei wurde `\|\|\|` geschrieben
- Java interpretiert `\|` als illegale Escape-Sequenz

Lösung:
- Verdoppelte Backslashes: `\\\\|\\\\|\\\\|` in Python
- Python schreibt dann `\\|\\|\\|` in Java-Datei
- Java interpretiert als Regex: `\|\|\|` (escaped Pipes)

Erklärung:
- Python: `\\\\` → `\\` (escaped backslash)
- Java: `\\` → `\` (escaped backslash für Regex)
- Endergebnis: Regex matcht literal `|||` Separator

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
---
 src/saxon_pool.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/saxon_pool.py b/src/saxon_pool.py
index b206b86..f5aa992 100644
--- a/src/saxon_pool.py
+++ b/src/saxon_pool.py
@@ -55,7 +55,7 @@ public class SaxonWorker {
 
                     // Add parameters if present
                     if (parts.length > 3 && !parts[3].isEmpty()) {
-                        String[] params = parts[3].split("\\|\\|\\|");
+                        String[] params = parts[3].split("\\\\|\\\\|\\\\|");
                         for (String param : params) {
                             if (!param.isEmpty()) {
                                 saxonArgs.add(param);