@Attribute("default_encoding")
    public @NotNull String getDefaultCharsetName() {
      return myDefaultEncoding.getCharset() == null ? "" : myDefaultEncoding.getCharset().name();
    }
@Attribute("default_encoding")
    public @NotNull String getDefaultCharsetName()