Jenkins: use correct name/location of Cobertura XML file
Java options: enable headless mode to fix Jenkins build problems on Mac
Java options: set maximum heap size of 512 MB
Set -deprecation and -unchecked scalac options
Merge branch 'feature/jenkins-fixes' into develop