Introduce spotbugs checks and fix two bugs classified as High

LearnLib / ralib

Apache License 2.0

4 stars 2 forks source link

Introduce spotbugs checks and fix two bugs classified as High #65

Closed kostis closed 7 months ago

kostis commented 7 months ago

Enable spotbugs-maven-plugin checks (currently restricted to those classified as High). This revealed two uses of subclass accesses during initialization of a class, which were fixed in this PR.