void (final LibraryDescriptor from, Collection<? extends File> files, LibraryDescriptor to) { to.addJars(files); from.removeJars(files); // remove the library if it became empty if (from.getJars().size() == 0) { removeLibrary(from); } }