Slight improvements to the part of the testing system used to execute the generated Java code