diff -r 3d33847dc911 -r 982f0bf34804 Admin/MacOS/Info.plist-part2
--- 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>