OcaIDE now depends on Java 7