org.checkerframework:checker-util (maven): checker-util contains utility classes for programmers to use at run time.
Keywords: java|types|verification