I found this problem reported upstream in <URL:http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24023>.
_______________________________________________ pkg-java-maintainers mailing list pkg-java-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-java-maintainers