use os independet separator for model path
use SWT browser (does that work with Java 8?)
Merge remote-tracking branch 'origin/develop' into develop
manifests
useless deps
Update build.gradle

Ein Akt der Verzweiflung
deps again
reverse it
User SWT as a default + use system properties to switch to JavaFX
fixed tests
initial refactoring
fixed NPE
Merge branch 'feature/ui_performance' into develop
PROBCORE-541 Created two example ITool implementations.
PROBCORE-541 Changed the subscribe mechanism for the StateSpace so that you don't have to deregister formulas. We now essentially use a weak hash map that removes elements once other references to them are lost.
minor changes on editor
adapted to performance fix
PROBCORE-541 Working on an implementation...
Merge remote-tracking branch 'origin/develop' into feature/iTool
rodin3 target platform