jpf

<!-- https://jarcasting.com/artifacts/net.sf.jpf/jpf/ -->
<dependency>
    <groupId>net.sf.jpf</groupId>
    <artifactId>jpf</artifactId>
    <version>1.5</version>
</dependency>

// https://jarcasting.com/artifacts/net.sf.jpf/jpf/
implementation 'net.sf.jpf:jpf:1.5'

// https://jarcasting.com/artifacts/net.sf.jpf/jpf/
implementation ("net.sf.jpf:jpf:1.5")

'net.sf.jpf:jpf:jar:1.5'

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

@Grapes(
@Grab(group='net.sf.jpf', module='jpf', version='1.5')
)

libraryDependencies += "net.sf.jpf" % "jpf" % "1.5"

[net.sf.jpf/jpf "1.5"]