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