@Override
          public void redo() {
            final Library.ModifiableModel modifiableModel1 = renameLibrary(inputString);
            modifiableModel1.commit();
          }
@Override
          public void redo()