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
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.
remove static from secondary assistants.
changes for that.
Changes to secondary assistants regarding removing the static keyword
reverted pdflatex integration to pdflatex + added support for xetex and moved preference page to latex plugin (moved from ui)
Merge branch 'development'
changed CR LF
Complete removal of static keyword from the PTypeAssistantTC
and most of the methods in secondary assistants.
Solve issues regarding this. Safe point 3.
Clean up on Typechecker. Comments unnecessery removed.