Cope with Debian's new Java version numbering scheme