@Override
  public String getJavaSdkName(@NotNull JpsElement properties) {
    return ((JpsIdeaSdkProperties)((JpsSimpleElement<?>)properties).getData()).getJdkName();
  }
@Override
  public String getJavaSdkName(@NotNull JpsElement properties)