jpf

'net.sf.jpf:jpf:1.5'

<dependency>
	<groupId>net.sf.jpf</groupId>
	<artifactId>jpf</artifactId>
	<version>1.5</version>
</dependency>

<dependency org="net.sf.jpf" name="jpf" rev="1.5"/>

"net.sf.jpf", "jpf", "1.5"