I have changed the JRE System Library from java-6-openjdk to
java-7-openjdk.