diff --git a/jdk8.patch b/jdk8.patch index 67d68e1b..6dad1011 100644 --- a/jdk8.patch +++ b/jdk8.patch @@ -55,7 +55,7 @@ index b5e12ad8..8fddb115 100644 # Links link.help.manpage: https://www.filebot.net/cli.html diff --git a/build.xml b/build.xml -index ff05a67d..0f0a78b9 100644 +index ff05a67d..958f4979 100644 --- a/build.xml +++ b/build.xml @@ -78,9 +78,10 @@ @@ -114,6 +114,19 @@ index ff05a67d..0f0a78b9 100644 +@@ -548,9 +548,9 @@ + + + +- +- +- ++ ++ ++ + + + @@ -769,7 +769,7 @@