Remove astCreator from master branch
forgot to remove astCreator from tools/pom.xml
Merge commit '325ddc415e47d0518ca0a63a6b1ccacadb99050f' into release
Merge branch 'master' into release

Conflicts:
	ide/plugins/prob-runtime/core/icons/uml.png
	tools/pom.xml
Add versioning plugins and bump version numbers to 2.0.2
no message
modify test data
create methods to obtain map, an element from a set whose cardinary is 1 in BtoVdmConverter.java
added test for the default implicit expression compass needs
implemented the b to vdm construct unary minus
Merge branch 'origin/pvj/main'
Merge branch 'origin/his/solv'

Conflicts:
	core/modelcheckers/probsolver/src/main/java/org/overture/modelcheckers/probsolver/visitors/BToVdmConverter.java
changed the native link to prob to static. Only one machine config is being used at the moment so we dont need to re-init the machine. Major speed improvement
no message
excluded maven goal from eclipse
fixed null pointer errors after merging in new fix where static calls has been reduced
fixes #258
Solve the problem with the removal of the static keyword
from PDefinitionListAssistant.singleDefinitions
Resolve problem with removing the static keyword
from PDefinitionAssistantTC.getDefinitions
Secondary change to assistants regarding the removal of static keyword.