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

implementation 'net.sf.jpf:jpf:1.5'

implementation("net.sf.jpf:jpf:1.5")

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

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

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

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

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