Don't run Java 1.6 on core.typed