Up-to-date Java 7 packages for Debian