I've pull-requested a patch to upstream, using the proposed workaround: https://github.com/FauxFaux/jtype/commit/c58cd3266b10327a79b02839c8d1199053e84ea3
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
