void (@Nullable Element libraryTableElement, @NotNull JpsPathMapper pathMapper, JpsLibraryCollection result) { for (Element libraryElement : JDOMUtil.getChildren(libraryTableElement, LIBRARY_TAG)) { result.addLibrary(loadLibrary(libraryElement, pathMapper)); } }