From ecb4449a183133602b27d43e8bb9eedd22aa45a4 Mon Sep 17 00:00:00 2001
From: Oliver Kopp <kopp.dev@gmail.com>
Date: Tue, 8 Jul 2025 16:28:22 +0200
Subject: [PATCH] Add System.exit

---
 jabgui/src/main/java/org/jabref/gui/JabRefGUI.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/jabgui/src/main/java/org/jabref/gui/JabRefGUI.java b/jabgui/src/main/java/org/jabref/gui/JabRefGUI.java
index 03165927d5d..3e639a50589 100644
--- a/jabgui/src/main/java/org/jabref/gui/JabRefGUI.java
+++ b/jabgui/src/main/java/org/jabref/gui/JabRefGUI.java
@@ -505,5 +505,8 @@ public void stop() {
         }
 
         LOGGER.trace("Finished stop");
+
+        // Just to be sure that we do not leave any threads running
+        System.exit(0);
     }
 }