@Override
  public boolean isModified() {
    return !Objects.equals(mySettings.getProfile(), getConfiguredProfileName()) ||
           !Objects.equals(mySettings.getProfilesIniPath(), getConfiguredProfileIniPath());
  }
@Override
  public boolean isModified()