fixed bugs
merge
mergeMerge branch 'develop' of github.com:bendisposto/prob2 into develop

Conflicts:
	de.prob2.kernel/src/main/groovy/de/prob/bmotion/BSetObserver.groovy