The Editor now uses a Specification
Plugins like TabBlocksPlugin will work now.

Change-Id: I003b625820b8e4b114cb511c544c1add8f9c86bc
Signed-off-by: mstegmaier <michael-1.stegmaier@uni-ulm.de>