[Jenkinsfile] Add source directory when recording coverage results (jenkinsci#7935)

* Add source directory when recording coverage results.

JaCoCo does not store absolute paths in a coverage report, so the
Jenkins coverage plugin needs to know where the source files are
located. Otherwise, source code rendering and source referencing
in GitHub checks does not work correctly.

* Satisfy spotless

---------

Co-authored-by: Alexander Brandes <[email protected]>

Author: uhafner

Jenkinsfile

@@ -128,7 +128,8 @@ axes.values().combinations {
             if (folders.length > 1) {
               discoverGitReferenceBuild(scm: folders[1])
             }
-            recordCoverage(tools: [[parser: 'JACOCO', pattern: 'coverage/target/site/jacoco-aggregate/jacoco.xml']], sourceCodeRetention: 'MODIFIED')
+            recordCoverage(tools: [[parser: 'JACOCO', pattern: 'coverage/target/site/jacoco-aggregate/jacoco.xml']],
+            sourceCodeRetention: 'MODIFIED', sourceDirectories: [[path: 'core/src/main/java']])
 
             echo "Recording static analysis results for '${platform.capitalize()}'"
             recordIssues(