Thank you for the patch Tiago. "1.7" is repeated many time, that might be nice to put it in a variable so we can update the patch easily in the future.
Emmanuel __ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use [email protected] for discussions and questions.
