Support for building with JDK 10.

2018-07-26 15:05:58 -04:00
parent 513840e2c4
commit 7c83a62f91
6 changed files with 11 additions and 13 deletions
--- a/platform-independent/java/gui/build.gradle
+++ b/platform-independent/java/gui/build.gradle
@@ -36,5 +36,5 @@ shadowJar {

 run {
    // I don't fully understand why this is necessary, but without it -Dmp.log.level is lost.
-    systemProperties = System.properties
+    //systemProperties = System.properties
 }