'edu.washington.cs.types.checker:checker-quals:1.6.4'
<dependency>
<groupId>edu.washington.cs.types.checker</groupId>
<artifactId>checker-quals</artifactId>
<version>1.6.4</version>
</dependency>
<dependency org="edu.washington.cs.types.checker" name="checker-quals" rev="1.6.4"/>
"edu.washington.cs.types.checker", "checker-quals", "1.6.4"