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
Inherited definition not visible in the sync section, fixes #375
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