Tagged the IR generated methods to assist code generation of the concurrency mechanisms of VDMPP
Changes to JavaExecution to work on windows and linux systems.