Guava


Guava

Guava library, with additional type annotations for verification