Merge branch 'develop' of github.com:bendisposto/prob into develop

de.prob.ui/src/de/prob/ui/stateview/StateViewStrings.properties

 signalInvariantTooltip=This area signals whether the invariants are true or not
-signalInvariantGood=invariants ok
-signalInvariantBad=invariant violated!
+signalInvariantGood=Invariants ok
+signalInvariantBad=Invariant violated!
 
 signalEventerrorTooltip=This area signals if an error occurred in an event for the current state
 signalEventerrorGood=No event errors detected