Checker framework

'edu.washington.cs.types.checker:checker-framework:1.7.1'

<dependency>
	<groupId>edu.washington.cs.types.checker</groupId>
	<artifactId>checker-framework</artifactId>
	<version>1.7.1</version>
</dependency>

<dependency org="edu.washington.cs.types.checker" name="checker-framework" rev="1.7.1"/>

"edu.washington.cs.types.checker", "checker-framework", "1.7.1"