I've pushed the patch together with my progress on Maven 3 support into 
development git
as a branch topic-bug-710131 so it is enough for the maintainer to just merge it
into master now.



This is the maintainer address of Debian's Java team
Please use
debian-j...@lists.debian.org for discussions and questions.

Reply via email to