From c6c385c75663a5b9257c28d3a09edd20a13672a7 Mon Sep 17 00:00:00 2001
From: Gregor Lohaus <lohausgregor@gmail.com>
Date: Tue, 2 Jun 2026 13:10:29 +0200
Subject: [PATCH] sanatize out java tool options

---
 src/main/java/com/gregor/jprototerm/ShellSession.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/main/java/com/gregor/jprototerm/ShellSession.java b/src/main/java/com/gregor/jprototerm/ShellSession.java
index 263de60..a1f4c9f 100644
--- a/src/main/java/com/gregor/jprototerm/ShellSession.java
+++ b/src/main/java/com/gregor/jprototerm/ShellSession.java
@@ -96,6 +96,10 @@ public final class ShellSession implements AutoCloseable {
         // These are jprototerm's own runtime settings, not the user's shell environment.
         environment.remove("GDK_BACKEND");
         environment.remove("JLIBGHOSTTY_LIBRARY");
+        // The wrapper exports this to point our own JVM at its CDS archive; left in place it
+        // would make unrelated java/gradle invocations inside the terminal load jprototerm's
+        // archive (and print the "Picked up JAVA_TOOL_OPTIONS" banner).
+        environment.remove("JAVA_TOOL_OPTIONS");
     }
 
     public void startReading(TerminalPane pane) {