@Override
 public void onStop() {
   if (optionsFragment != null && !optionsFragment.isThemeRemoved()) {
     // update the sequence
     theme.setColours(staticColours.getColours());
     theme.setName(optionsFragment.getName());
     for (int i = 0; i < themes.size(); i++) {
       if (themes.get(i).getObjId().equals(theme.getObjId())) {
         themes.set(i, theme);
       }
     }
     persistenceManager.setThemes(themes);
   }
   super.onStop();
 }