openjdk11: build fixes

* increase heap size for building javadoc (this is only needed for the 32-bit build) * filter out some non-maven jars that crop up in the openjfx build
2019-07-25 15:35:50 -04:00
parent 9d9eb87c19
commit 0d9e842890
3 changed files with 14 additions and 1 deletions
@@ -44,6 +44,7 @@ let
      ./fix-java-home-jdk10.patch
      ./read-truststore-from-env-jdk10.patch
      ./currency-date-range-jdk10.patch
+      ./increase-javadoc-heap.patch
    ] ++ lib.optionals (!minimal && enableGnome2) [
      ./swing-use-gtk-jdk10.patch
    ];