Merge branch 'development' of https://github.com/symphonytool/symphony into acf_tmp
Small changes to handle case studies from B & O.
Some improvements to model checker error report.
Adjustments to the Unsupported Collector and small UI changes.
Eliminated one unnecessary class.
Some refactoring and added model checker preferences page extension.
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Merge branch 'development' of https://github.com/symphonytool/symphony into acf_tmp
Merge branch 'acf' into acf_tmp
Handling a simple example with infinite type in communications.
Updating number of instances as necessary.
Version dealing with infinite types. Almost finished.
Still small side effects in register and device discovery.
Analysing B&O Streaming, infinite values on input events, register, some cosimulation processes.
Merge branch 'development' of https://github.com/symphonytool/symphony into acf_tmp

Conflicts:
	core/interpreter/src/main/java/eu/compassresearch/core/interpreter/api/values/ProcessObjectValue.java (resolved using theirs option.
Remove FIXME. Initialized invariant is working.
Cope with large reorganization of Overture POG code.
Merge remote-tracking branch 'origin/development' into newpog
Test and fix for #222.