/** note that this method does not check for duplicates, which may cause a DB error */ public void addAllHasArcs(Collection<Arc> newHasArcs) { hasArcs.addAll(newHasArcs); }