@Override
    public @NotNull @NlsSafe String getServerName() {
      String result = super.getServerName();
      assert result != null;
      return result;
    }
@Override
    public @NotNull @NlsSafe String getServerName()