updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
Isabelle/JVM application bundle for Mac OS X============================================* http://java.net/projects/appbundler see appbundler-1.0.jar see com/oracle/appbundler/JavaAppLauncher