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.
Regards, Jakub -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org