From 03e7796dca0c247c23ba4e5e10c372a55f1032cd Mon Sep 17 00:00:00 2001 From: Reinhard Pointner Date: Mon, 22 Oct 2018 03:13:34 +0700 Subject: [PATCH] Port to OpenJDK 11 --- app.properties | 1 + build.xml | 22 ++++++++++++++++++++-- 2 files changed, 21 insertions(+), 2 deletions(-) diff --git a/app.properties b/app.properties index 898cbece..4c37daf0 100644 --- a/app.properties +++ b/app.properties @@ -36,6 +36,7 @@ link.release.index: https://get.filebot.net/filebot # Build main.class: net.filebot.Main jre.version: 11.0.1 +jfx.version: 11 # Minimum System Version jvm.version: 11 diff --git a/build.xml b/build.xml index e4fa7677..3e05d691 100644 --- a/build.xml +++ b/build.xml @@ -96,12 +96,18 @@ - + + + + + + + @@ -110,12 +116,18 @@ - + + + + + + + @@ -130,6 +142,12 @@ + + + + + +