jdk 1.7 default for core.typed