Hi Upstream has released 5.1.12 now (DEHS has only picked up 5.1.11), perhaps this is fixed in either of those.
~Niels
signature.asc
Description: OpenPGP digital signature
_______________________________________________ pkg-java-maintainers mailing list [email protected] http://lists.alioth.debian.org/mailman/listinfo/pkg-java-maintainers

