Checker framework

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

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

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

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