LearnLib / learnlib / 186

95%

push

travis-ci

replace JSR305 annotations with Checkerframework annotations

* replace old annotations 1:1 where possible
* remove annotations which have no counterpart (regarding ParametersAreNonnullByDefault we follow Checkerframeworks convention, that (unannotated) parameters are NonNull by default)
* exclude jsr305 dependency from guava dependency
* bump spotbugs plugin to 3.1.12.2 to correctly read type annotations

Closes #63

11 of 11 new or added lines in 7 files covered. (100.0%)

8664 of 9646 relevant lines covered (89.82%)

1.58 hits per line