public void destroyBucket(AutoMixBucket bucket){
  SharedPreferences prefs=getPrefs();
  SharedPreferences.Editor editor=prefs.edit();
  Set<String> set=new TreeSet<>(prefs.getStringSet(PREF_BUCKETS_IDS,new TreeSet<String>()));
  set.remove(bucket.getSessionId());
  editor.putStringSet(PREF_BUCKETS_IDS,set);
  editor.apply();
  mBuckets.remove(bucket);
}

public void destroyBucket ( AutoMixBucket bucket ) { SharedPreferences prefs = getPrefs ( ) ; SharedPreferences . Editor editor = prefs . edit ( ) ; Set < String > set = new TreeSet < > ( prefs . getStringSet ( PREF_BUCKETS_IDS , new TreeSet < String > ( ) ) ) ; set . remove ( bucket . getSessionId ( ) ) ; editor . putStringSet ( PREF_BUCKETS_IDS , set ) ; editor . apply ( ) ; mBuckets . remove ( bucket ) ; }
destroys the provided bucket
