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

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