Adds OpenJDK 7 for debian packages