Fixed bugs in SyncedTraces
Fixed bug in BUnit view
Merge remote-tracking branch 'origin/develop' into develop
Merge
Merge remote-tracking branch 'origin/develop' into develop

Conflicts:
	de.prob.core.kernel/src/main/java/de/prob/testing/ProBTestRunner.java
Merge branch 'release/2.0.0-milestone-13' into develop
version bump
bumped versions
working on bmotion studio svg editor
added parameters to url => visualization is still available after
restarting the prob server
Merge branch 'develop' of github.com:bendisposto/prob2 into develop
reverting ...
manifest
working on svg editor
Ignore logfile
fixed style problem with shoutbox
working on svg editor
missing file
working on svg editor
working on svg editor