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
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]
changed classpath collector such that it only collects the classpath and returns it as a list
added null check for in case no position exists for an annotation
Drop some stray lines from the build.properties files
[skip ci]
Merge remote-tracking branch 'origin/development' into ncb/development