@Override
  public String[] @NotNull [] getAllKnownProperties() {
    return DefaultRegExpPropertiesProvider.getInstance().getAllKnownProperties();
  }
@Override
  public String[] @NotNull [] getAllKnownProperties()