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
changed classpath collector such that it only collects the classpath and returns it as a list