Do not run SpotBugs twice on CI.
Do not run SpotBugs twice on CI.

Now we can simply download the SpotBugs HTML report.

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt