xmltools-groovy: introduced function JdomElementList.replace