void (@NotNull String changeText, @NotNull Wrapped wrapped, @Nullable File file) { String name = wrapped.library.getExternalName(); int i = file == null ? - 1 : name.indexOf(file.getName()); final String newName; if (i >= 0) { newName = name.substring(0, i + file.getName().length()) + NAME_SEPARATOR + changeText + name.substring(i + file.getName().length()); } else { newName = changeText + NAME_SEPARATOR + name; } wrapped.library.setExternalName(newName); }