(whoops, just noticed that my patch also edits debian/ant.properties - it still works, but i guess you'll want to fix that.)
-- GPG: 4096R/5FBBDBCE __ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/mailman/listinfo/pkg-java-maintainers>. Please use debian-j...@lists.debian.org for discussions and questions.
