updated to jdk-8u152, which is for x86_64 only;

prefer plain "isabelle" from PATH within Isabelle settings environment;

proper platform_path for Windows;

renamed jvmpath to platform_path;

added isabelle jedit_client;