src/jdk.vm.ci/share/classes/jdk.vm.ci.meta/src/jdk/vm/ci/meta/PlatformKind.java

*** 27,38 ****
   */
  public interface PlatformKind {
  
      String name();
  
-     JavaConstant getDefaultValue();
- 
      public interface Key {
  
      }
  
      public class EnumKey<E extends Enum<E>> implements Key {
--- 27,36 ----