jpf-boot

'net.sf.jpf:jpf-boot:1.5'

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

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

"net.sf.jpf", "jpf-boot", "1.5"