From c4ab0e46261d36269e18d3b7279cc9d802c8b664 Mon Sep 17 00:00:00 2001
From: Erlend Klakegg Bergheim <erlend@klakegg.net>
Date: Thu, 17 Oct 2019 10:57:47 +0200
Subject: [PATCH] Update xsdchecker.bat

---
 dist/root/bin/xsdchecker.bat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dist/root/bin/xsdchecker.bat b/dist/root/bin/xsdchecker.bat
index 20b73e4..a7129e0 100644
--- a/dist/root/bin/xsdchecker.bat
+++ b/dist/root/bin/xsdchecker.bat
@@ -2,4 +2,4 @@
 
 SET path=%~dp0
 
-java -classpath ".;%path:~0,-5%\lib\*" Main %*
+java %JAVA_OPTS% -classpath ".;%path:~0,-5%\lib\*" Main %*