--- a/Admin/MacOS/Info.plist-part1	Wed Sep 16 20:54:41 2015 +0200
+++ b/Admin/MacOS/Info.plist-part1	Wed Sep 16 21:26:37 2015 +0200
@@ -35,7 +35,7 @@
 <key>NSSupportsAutomaticGraphicsSwitching</key>
 <string>true</string>
 <key>JVMRuntime</key>
-<string>jdk</string>
+<string>bundled.jdk</string>
 <key>JVMMainClassName</key>
 <string>isabelle.Main</string>
 <key>CFBundleDocumentTypes</key>