From 9f5c4d9ef15f4bf32bfd661b72986a0accfafe7b Mon Sep 17 00:00:00 2001 From: Reinhard Pointner Date: Sat, 25 May 2019 22:13:07 +0700 Subject: [PATCH] Use JRE builds to reduce binary size --- build.xml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/build.xml b/build.xml index 19b17357a..b89fe87c0 100644 --- a/build.xml +++ b/build.xml @@ -112,10 +112,10 @@ - + - + @@ -140,7 +140,7 @@ - +