Inherited definition not visible in the sync section, fixes #375
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.
Merge remote-tracking branch 'origin/ncb/development' into pvj/main
Merge remote-tracking branch 'origin/test' into pvj/main
Remove basic maven dependencies from ide/plugins/codegen/pom.xml.  Basic
dependencies don't belong in ide/ poms.
deactivate the ui-tests by default