Isabelle/Scala submodule updated to 2013
bumped Isabelle/Eclipse version to 1.2.0 to indicate significant change (Isabelle2013) and to homogenise versions across plugins
bumped Isabelle/Pure dependency to 2013
require Java 7 (since Isabelle/Scala requires it)
enforce Java 7 in Maven builds
require Scala 2.10
ignore m2e enforce warnings
use Tycho 0.16
Merge branch 'build-update' into isabelle2013
ported launch configurations to Scala
rewrote Isabelle Launch UI components in Scala with some adjustments for modularity
moved config utilities to a separate object LaunchConfigUtil
ported to Scala and renamed Session label provider
ported to Scala
ported IsabelleLaunchPlugin to Scala
ported IsabelleLaunchImages to Scala;
using ResourceManagers to create images out of ImageDescriptors
ported IsabelleLaunchConstants to Scala
fixed resource manager crash due to control not being available
need more reflect dependencies
fixed image name