Merge branch 'release' for v2.0.2
add/delete some comments
Fix to text and location of warning 5010
updated astcreator version to 1.6.2 in the AST
code cleanup
Correction to cycles type check and interpretation, fixes #264
Merge remote-tracking branch 'origin/ncb/development' into ncb/development
add files for pretty printer stuff
add sample file for vdm++
add sample files for vdm++
Merge commit '8270b13f0b454c82c754047fdc755ed16da83bbe' into his/solv

Conflicts: are reduced
	core/modelcheckers/probsolver/src/main/java/org/overture/modelcheckers/probsolver/visitors/BToVdmConverter.java
	core/modelcheckers/probsolver/src/main/java/org/overture/modelcheckers/probsolver/visitors/VdmToBConverter.java
	core/modelcheckers/probsolver/src/test/resources/modules/soccer.vdmsl
Corrections to SL test results for warning 5010
upgraded AST creator version 1.6.3
Merge remote-tracking branch 'origin/development' into ldc/main
Merge branch 'origin/test'
check record type soccer.vdmsl has 2 time out operator
First draft including LB RMs:
- 16 (expressions in thread definitions)
- 17 (values in duration/cycles statements)
- 18 (sporadic thread definitions)
- 20 (antagonist stop and stoplist statements)
* close #207 unable to reproduce. tested with alarmsl on windows x64
* close #195 unable to reproduce
* issue #194 is still present here
* close #193 problem is not present. it is true that error markers is not present on the working set, but thats not what the issue is about.
* confirmed issue #190
* close #184 is fixed
* confirmed issue #154 is does not override the file but completes with no info
* confirmed issue #132
* confirmed issue #7
* confirmed issue #12
* issue #34 this works with æøå but these are in UTF-8 and present in the charset cp1252 - this is not the same for JP chars
* confirmed issue #53
* confirmed issue #63 no coverage is hightlighted neighter green or red
* close #113 this now reports Operation returns void value. Actual: (() | bool) Expected: bool
* close #188 this is no longer the case the error is shown at the correct line
confirmed issue #96 we could look into the type of console we use and see if it can have a tool bar command attatched linked to the debug target/launch to obtain the IProcess
delete "%JPNFONT" to generate PDF file by Xetex