Use new autograding properties.

.github/workflows/reporting.yml

@@ -72,6 +72,7 @@ jobs:
                   {
                     "id": "spotbugs",
                     "name": "SpotBugs",
+                    "sourcePath": "src/main/java",
                     "pattern": "**/target/spotbugsXml.xml"
                   }
                 ],
@@ -88,12 +89,14 @@ jobs:
                       "id": "jacoco",
                       "name": "Line Coverage",
                       "metric": "line",
+                      "sourcePath": "src/main/java",
                       "pattern": "**/target/site/jacoco/jacoco.xml"
                     },
                     {
                       "id": "jacoco",
                       "name": "Branch Coverage",
                       "metric": "branch",
+                      "sourcePath": "src/main/java",
                       "pattern": "**/target/site/jacoco/jacoco.xml"
                     }
                   ],
@@ -135,7 +138,7 @@ jobs:
           git config --local user.email "[email protected]"
           git config --local user.name "GitHub Action"
           git add badges/*.svg
-          git commit -m "Update badges with results from latest autograding"
+          git commit -m "Update badges with results from latest autograding" || true
       - name: Push updated badges to GitHub repository
         uses: ad-m/github-push-action@master
         if: ${{ success() }}

src/main/java/edu/hm/hafner/analysis/parser/AjcParser.java

@@ -65,7 +65,7 @@ private Report parse(final Stream<String> lines) {
                         if (line.startsWith("\t")) {
                             fillFileName(builder, line);
                         }
-                        else if ("".equals(line)) {
+                        else if (line.isEmpty()) {
                             state = States.PARSING;
 
                             warnings.add(builder.buildAndClean());