fixed issue with the interpreter event option view where events weren't visible. Fix added a scrollbar.
Added more supported constructors for processes.
Merge commit '773b2e381fa672ca979655993ebecbd7f670742e' into development
Merged with origin/development and added features do handle real numbers in the model checker.
Merge remote-tracking branch 'origin/acf' into alrd
Removed some logging messages.