Sample project to try Junit5 Jupiter, along with google auto-value and error-prone, instead of checkers framework.
For assertions, I will try AsertJ. It seems using error-prone might not be possible with checkers framework (using checkers plugin for IDE).
At least, checkers is not yet compatible with Java 9.