Eclipse Che 7 wechselt die Entwicklungsumgebung

Der Austausch der GWT-basierte IDE gegen Eclipse Theia soll die Performance und Flexibilität verbessern.