clarified platform selection;

discontinued unused / untested distinction of separate PIDE modules;

more version information;

tuned imports;

more robust System.getProperty with default;

tuned signature -- concentrate GUI tools;

updated version information;
discontinued somewhat obsolete hotspot check: OpenJDK 1.7 works reasonably well, and final bundling provides certain tested JDK/JRE versions;

separate compilation of PIDE vs. Pure sources, which enables independent Scala library;

explicit indication of modules for independent Scala library;

explicit import java.lang.System to prevent odd scope problems;

more explicit jvm_name;

more convenient look-and-feel setup;

check JVM platform at most once -- still non-strict to prevent potential failure during initialization of object Platform;

system properties determine the JVM platform, not the Isabelle one;

try "GTK+" as well -- note that "Nimbus" is unavailable in versions of OpenJDK;

fixed permissions;

sane platform look-and-feel;

moved platform identification to platform.scala;
more precise discrimination, including 64bit option;