Multiple fixes to the latex plugin:

* Only generate coverage data when it is necessary
* Make coverage generation disabled by default (because it works poorly with large models)
* Added constants to control default values for the preference page
* Added linebreak option to the VDMPP listings (wordwrapping)
Merge remote-tracking branch 'origin/pvj/main' into jwc/base
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
Merge remote-tracking branch 'origin/ncb/development' into gk/codegenconc
Merge remote-tracking branch 'origin/gk/codegenconc' into pvj/main