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
suppressed prob logging (ERROR level)
Merge branch 'origin/development'
updated prob integration test to handle non deterministic results
updated overture to correctly passe down the assistant factory where needed and thereby NOT include a non-serilizable object in the Value classes in the interpreter which are designed to be serialized.
Merge commit 'bb98b561eb8087ad1181b015a206ddb42732c61f' into development
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'
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