Annotations the SpotBugs tool supports

Guava is a suite of core and expanded libraries that include

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.