From ae11da275fd0ec16a53ce9b182057f8c14572931 Mon Sep 17 00:00:00 2001
From: Reinhard Pointner <reinhard.pointner@gmail.com>
Date: Sun, 25 Nov 2018 21:52:38 +0700
Subject: [PATCH] Include JRE in ZIP package

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

diff --git a/build.xml b/build.xml
index 372de9d9..7a8e117f 100644
--- a/build.xml
+++ b/build.xml
@@ -391,6 +391,7 @@
 			<zipfileset dir="${dir.staging}" includes="*.ini" />
 			<zipfileset prefix="jar" dir="${dir.dist}/lib" />
 			<zipfileset prefix="lib" dir="${dir.lib}/native/win32-x64" />
+			<zipfileset prefix="jre" dir="${dir.staging}/jre" />
 		</zip>
 	</target>