LearnLib / automatalib / 219

93%

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

This is the major chunk for #33, although we still require a new duzzt version to completely get rid of non-default javax annotations.

3 of 3 new or added lines in 2 files covered. (100.0%)

10805 of 13406 relevant lines covered (80.6%)

1.46 hits per line