libjpfcodegen-java - 0.4+dfsg1-1.1 main

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.