1<string>-Disabelle.root=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string> 2<string>-Djava.ext.dirs=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}/contrib/jdk/x86_64-darwin/Contents/Home/jre/lib/ext</string> 3<string>-Disabelle.app=true</string> 4</array> 5<key>JVMArguments</key> 6<array> 7</array> 8</dict> 9</plist> 10