@NotNull
  @Override
  public PropertiesFile getDefaultPropertiesFile() {
    return Objects.requireNonNull(PropertiesImplUtil.getPropertiesFile(myDefaultPropertiesFile.getElement()));
  }
@NotNull
  @Override
  public PropertiesFile getDefaultPropertiesFile()