Isabelle/JVM application bundle for Mac OS X
============================================

* http://java.net/projects/appbundler

  - see appbundler-1.0.jar
  - see com/oracle/appbundler/JavaAppLauncher
