Might not be quite right, but maybe mergeworthy? (See the linked patch) https://gist.github.com/RayWithAnA/f5ce4e673d947761d31e99006fadb813
Are those the right instructions? If not let me know. Not sure I saw a better explanation. Best, Raymond raymond.che...@berkeley.edu
__ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use debian-j...@lists.debian.org for discussions and questions.