Bug#814187: RM: maven-hpi-plugin -- ROM; no longer used

[Emmanuel Bourg]

Package: ftp.debian.org
Severity: normal

Hi,

Please remove the maven-hpi-plugin package, it was only used by Jenkins
which has been removed recently.

Thank you,

Emmanuel Bourg