public void entryRenamed(CategoryEntry oldEntry, CategoryEntry newEntry) { meemIdentifiers.remove(oldEntry.getName()); meemIdentifiers.add(newEntry.getName()); };