accomodate scala-2.11.0: evade somewhat erratic fix of ImmutableSetFactory in Scala/bfa70315d72d;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56658 86f9c691296574b829e7a3c1814a18f2852960a4
no need to copy jars, after regular use of classpath in 793a429c63e7;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56659 f3d34969a29e3b9bc64b464da9d952e5192b59b4
avoid octal escape literals -- deprecated in scala-2.11.0;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56661 ef623f6f036bc41761ba4d7a96ac6a88a3eab7a1
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56662 f373fb77e0a4b5983648aebff0d059586b512c0b
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56663 2d09b437c168b1de2592c86d7ad3ebc0e2146aa6
updated workaround;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56664 8ff8e5d0011517b3fb4bf5134b2fc9ef69bc62e2
avoid accidental use of scala.language.reflectiveCalls;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56666 229309cbc50843d2813c14c5e221024a709d5970
more abstract Exn.Interrupt and POSIX return code;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56667 65e84b0ef974d637982f6f33614633b4a8ec4dba
interruptible dependencies, which can take a few seconds;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56668 56335a8e2e8bdf53b24d74f4fb45ad88f6fcb2c3
clarified message and return code, in accordance to ML version;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56669 f42717b5dc84301a339a71ea0d36b67605cc9466
detect nested interrupts;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56670 3f23441453d0b2232bcac7e6d20671918f71db95
explicit Exn.error_message in accordance to Output.error_message in ML;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56671 06853449cf0a94fc598c6bea8a3494efaf251508
updated according to scala-2.11.0 recommendations;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56672 172ae876de9fea81196a46989f1bb31a44c0be57
modernized Future/Promise implementation, bypassing old actors;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56673 42bf8fffdf6a44d49cb55798bd10d599a96146fc
tuned;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56674 70cc1164fb83d325e16664119adc1cea7d31c685
more uniform synchronized variables;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56685 535d59d4ed12b21b7c87595f75a2d31fd922103e
canonical list operations, as in ML;
avoid odd mutable data structures;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56686 2386d1a3ca8f67cf3a84c2be9f8b5ac26b46c4f4
tuned signature in accordance to ML version;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56687 7fb98325722afefee6ece1351aff5d7fb0838323
more canonical list operations;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56688 f3932166a33dabd7d50ed90f57c07a520c69d685
retain canonical reverse order;

Isabelle-hg: http://isabelle.in.tum.de/repos/isabelle@56689 b8b8b4ff8ad5936dd51eebb2d788c0cbe4e7b509