1Isabelle/JVM application bundle for Mac OS X
2============================================
3
4* http://java.net/projects/appbundler
5
6  see appbundler-1.0.jar
7  see com/oracle/appbundler/JavaAppLauncher
8
9