| changeset 67490 | 982f0bf34804 |
| parent 61298 | 49b964a6fe11 |
| child 69126 | e1b4b14ded58 |
--- a/Admin/MacOS/Info.plist-part2 Mon Jan 22 22:45:45 2018 +0100 +++ b/Admin/MacOS/Info.plist-part2 Tue Jan 23 16:37:57 2018 +0100 @@ -1,4 +1,5 @@ <string>-Disabelle.root=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string> +<string>-Djava.ext.dirs=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}/contrib/jdk/x86_64-darwin/Contents/Home/jre/lib/ext</string> <string>-Disabelle.app=true</string> </array> <key>JVMArguments</key>