erroneously installed openjdk-7-jre instead of openjdk-7-jdk