_______________________________________________ pkg-java-maintainers mailing list pkg-java-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-java-maintainers
Should this not be merged with #507536
<http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=507536> ?