@Override
  public @NotNull JBTerminalSystemSettingsProvider getSettingsProvider() {
    return (JBTerminalSystemSettingsProvider)super.getSettingsProvider();
  }
@Override
  public @NotNull JBTerminalSystemSettingsProvider getSettingsProvider()