master #11

Manually merged
claudio.atzori merged 275 commits from :master into enrichment_wfs 2020-05-11 15:14:56 +02:00
1 changed files with 4 additions and 1 deletions
Showing only changes of commit 50080c1b3c - Show all commits

View File

@ -40,7 +40,10 @@ public class TypedRow implements Serializable {
}
public void addAll(Set<String> toadd){
public void addAll(Collection<String> toadd){
if(accumulator == null){
accumulator = new HashSet<>();
}
this.accumulator.addAll(toadd);
}