add/modify test data for sequence
Add a method for distributed concatenation in VdmToBConverter.java and comment out System.err.println in BtoVdmConverter.java
create new test file
Add classes and a method for nat1
create/modify test file
create a method for quontifier exists1
removed unused import
updated junit framework version to 4.11 and added conditional ignore annotation
added conditional ignore to prob tests such that they will be ignored if prob isnt present
Merge branch 'origin/test'
Correction to merge for incompatible maps, fixes #262
added null check in class path builder
Merge branch 'origin/kel/astv2'
changed the way the class list interpreter access the assistant factory. (Needed for DESTECS)
removed unused import
Merge branch 'origin/his/solv'

Conflicts:
	core/modelcheckers/probsolver/src/main/java/org/overture/modelcheckers/probsolver/visitors/VdmToBConverter.java
	core/modelcheckers/probsolver/src/test/java/org/overture/modelcheckers/probsolver/InspectBAst.java
fixes problem with rec to mk_type conversion. Field order was not controlled
added test option for SL init state field
added test for rec to mk converstion from B to VDM
Add pom.xml to documentation/examples so that it's easy to build the
zips and webpages without dealing with the ide/ stuff.
[skip ci]