Skip SpotBugs on Java 13+, because it fails with "java.lang.IllegalArgumentException...