Source: libjpfcodegen-java
Section: java
Priority: extra
Maintainer: Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Uploaders: tony mancill <tmancill@debian.org>
 , gregor herrmann <gregoa@debian.org>
Build-Depends: debhelper (>= 7.0.8), ant, javahelper
Build-Depends-Indep: default-jdk, tidy,
 libcommons-logging-java, velocity (>= 1.5), libjpf-java
Standards-Version: 3.9.3
Homepage: http://page.mi.fu-berlin.de/oezbek/jpf/
Vcs-Git: git://git.debian.org/git/pkg-java/libjpfcodegen-java.git
Vcs-Browser: http://git.debian.org/?p=pkg-java/libjpfcodegen-java.git

Package: libjpfcodegen-java
Architecture: all
Depends: ${misc:Depends}
Description: tool for generating classes from JPF plug-ins
 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.
