apparently java7-openjdk was renamed to jdk7-openjdk