Set JDK version to 1.7 for core.typed