Checker framework maven plugin

'edu.washington.cs.types.checker:checker-maven-plugin:1.7.2'

<dependency>
	<groupId>edu.washington.cs.types.checker</groupId>
	<artifactId>checker-maven-plugin</artifactId>
	<version>1.7.2</version>
</dependency>

<dependency org="edu.washington.cs.types.checker" name="checker-maven-plugin" rev="1.7.2"/>

"edu.washington.cs.types.checker", "checker-maven-plugin", "1.7.2"