Thank you for taking interest in this. I should have marked myself as the bug owner when I started to working on it to prevent the duplicated effort.
No problem. I reckon the important thing is that the bug gets fixed.
There is a bit more minor package freshening that I will do before the upload.
Ok, sounds good. --- mvh / best regards Hans Joachim Desserud http://desserud.org __ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use debian-j...@lists.debian.org for discussions and questions.
