Made the testing system add the path of the folder where the Java generated code is located to the class path. This enables the testing system to read the produced result (obtained by executing the generated code) from file and compare it against some VDM value. Also, the testing system now reflects the recent changes made to the test handlers.