void (Element element) { List<Bookmark> bookmarks = new ArrayList<>(myBookmarks.values()); // store in reverse order so that loadExternal() will assign them correct indices bookmarks.sort(Comparator.<Bookmark>comparingInt(o -> o.index).reversed()); for (Bookmark bookmark : bookmarks) { if (!bookmark.isValid()) continue; Element bookmarkElement = new Element("bookmark"); bookmarkElement.setAttribute("url", bookmark.getFile().getUrl()); String description = bookmark.nullizeEmptyDescription(); if (description != null) { bookmarkElement.setAttribute("description", description); } int line = bookmark.getLine(); if (line >= 0) { bookmarkElement.setAttribute("line", String.valueOf(line)); } char mnemonic = bookmark.getMnemonic(); if (mnemonic != 0) { bookmarkElement.setAttribute("mnemonic", String.valueOf(mnemonic)); } element.addContent(bookmarkElement); } }