From 84a676d58676326e602c134bb9b664721c6f680e Mon Sep 17 00:00:00 2001
From: Reinhard Pointner <reinhard.pointner@gmail.com>
Date: Sun, 18 Nov 2018 19:14:41 +0700
Subject: [PATCH] Strip embedded JDK

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

diff --git a/build.xml b/build.xml
index 68c9f36b..40e06290 100644
--- a/build.xml
+++ b/build.xml
@@ -87,6 +87,8 @@
 		<include name="**/java" />
 		<include name="**/java.exe" />
 		<include name="**/javaw.exe" />
+
+		<exclude name="**/src.zip" />
 	</patternset>
 
 
@@ -104,6 +106,7 @@
 				<arg line="get-java get jfx x86_64" />
 			</exec>
 			<unzip src="${dir.cache}/openjfx-${jfx.version}_windows-x64_bin-sdk.zip" dest="@{dest}/ext/modules">
+				<patternset refid="pattern.jre" />
 				<cutdirsmapper dirs="1" />
 			</unzip>
 		</sequential>
@@ -145,6 +148,7 @@
 				<arg line="get jfx x86_64 Linux" />
 			</exec>
 			<unzip src="${dir.cache}/openjfx-${jfx.version}_linux-x64_bin-sdk.zip" dest="@{dest}/ext/modules">
+				<patternset refid="pattern.jre" />
 				<cutdirsmapper dirs="1" />
 			</unzip>
 		</sequential>