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
use IsabelleBuild (new isabelle.Build support in Isabelle/Scala) to load logics in Isabelle installation
no longer used
use tab name for FIRST_EDIT id
Array content provider for Trees
use a filtered tree to select Isabelle session;
reworked check support: using ICheckStateProvider to ensure a single element only is selected + cache the selection during filtering;
SingleCheckedListener no longer used
log dialog and button no longer used
use tab ID for first-edit attribute
support List attributes
use ObservableValue to pass around values;
updated Publisher interface with ObservableUtil