From 0eb52f8c72a1f040412378f69f7537f5c3f16f3c Mon Sep 17 00:00:00 2001
From: luccioman <luccioman@users.noreply.github.com>
Date: Thu, 11 Oct 2018 18:28:08 +0200
Subject: [PATCH] Added documentation hint about JVM option useful to debug JVM
 crashes

---
 build.xml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build.xml b/build.xml
index d55e605ac..bf7b567bf 100644
--- a/build.xml
+++ b/build.xml
@@ -702,6 +702,8 @@
       <!-- <jvmarg line="-XX:+HeapDumpOnOutOfMemoryError"/> -->
       <!-- Dump path -->
       <!-- <jvmarg line="-XX:HeapDumpPath=/your_path/"/> -->
+      <!-- Display an error popup when the JVM crashes, allowing to plug a debugger before its termination -->
+      <!-- <jvmarg line="-XX:+ShowMessageBoxOnError"/> -->
       <!-- Log JAXP XML parsers Debug information -->
       <!-- <jvmarg line="-Djaxp.debug=1"/> -->
     </java>