Checker framework

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

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

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

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