This issue is a blocker for me. It prevents the use of guava with logback since guava relies on a newer version of the checker framework. Please resolve this in the next release.