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

eliminated somewhat pointless and obscure options;

provide server name uniformly on all platforms;

tuned java options;

less ambitious options, to accomodate 4GB systems;

clarified JEDIT_JAVA_OPTIONS: separate defaults for 32 vs. 64 bit;

clarified JEDIT_JAVA_SYSTEM_OPTIONS;

just one line, to make it work with makedist_bundle;

avoid mix of languages;

afford slightly bigger JVM stack (see also f7ba30a816b9);

obsolete in scala-2.11.0;

just one default thread pool (which is hardwired to Runtime.availableProcessors);

updated properties for scala.concurrent.ExecutionContext.Implicits.global (future task farm), similar to Isabelle/ML;
removed obsolete properties for old actors;

clarified Doc entry: more explicit path;
allow plain files as Doc;
refer to official jEdit documentation;

make double sure that AWT/Swing antialiasing is enabled (see also http://www.jedit.org/users-guide/jvm-options.html and jdk/src/share/classes/sun/awt/SunToolkit.java);

proper apple.awt.application.name for Java 7;

prefer apple.laf.useScreenMenuBar=true (despite cf. effcfa38e77b) to make it work better with full-screen mode;

tuned JEDIT_JAVA_OPTIONS: increase chances that it works with approx. 8 cores and 32bit platform (notably Windows);

eliminated obsolete HTML/CSS functionality;

more robust Scala 2.9.x interpreter invocation -- avoid separate interpreter thread and thus deadlock of Swing_Thread.now;

try apple.laf.useScreenMenuBar=false to make menus stay closer to the editor views they belong to -- potentially less confusing for jEdit newcomers;

increased stack limits (again, cf. d9cf3520083c and 77c3e74bd954);

default print mode for Isabelle/Scala, not just Isabelle/jEdit;

reduced default thread stack, to increase the success rate especially on Windows (NB: the actor worker farm tends to produce 100-200 threads for big sessions);

raised default log level -- to avoid confusing warning about scala.tools.nsc.plugins.Plugin, which is mistaken as jEdit plugin;

hard-wired print mode "xsymbols" increases chance that "iff" in HOL will print symbolic arrow;

proper place for config files (cf. 55866987a7d9);

build jedit as part of regular startup script (in that case depending on jedit_build component);
misc tuning and simplification;

--HG--
rename : src/Tools/jEdit/dist-template/etc/isabelle-jedit.css => src/Tools/jEdit/etc/isabelle-jedit.css
rename : src/Tools/jEdit/dist-template/etc/settings => src/Tools/jEdit/etc/settings
rename : src/Tools/jEdit/dist-template/lib/Tools/jedit => src/Tools/jEdit/lib/Tools/jedit