libjpfcodegen-java 0.4+dfsg-2 (armel binary) in ubuntu oneiric

 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.