libjpfcodegen-java 0.4+dfsg1-1 (arm64 binary) in ubuntu trusty

 JPF Code Generator is a handy little tool that generates classes for
 accessing the attributes and extensions of JPF plug-ins from plugin.xml
 files. This has the advantage of providing a strongly typed access to the
 plug-in and simplyfies working with plug-ins.