Annotations for Error Prone, a static analysis tool for Java that catches common programming mistakes at compile-time.

Guava is a suite of core and expanded libraries that include

Guava testlib is a set of java classes used for more convenient

Fluent assertions for Java and Android that makes your test assertions and failure messages more readable.

JUnit Jupiter is the API for writing tests using JUnit 5.

checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by ...