extra/java7-openjdk fix