protected void updateMembers(int newDL) {
   if (newDL > currDL && newDL > getMinimalDL())
     realizeChildrenArtifacts(getArtifact().getArt().queryChildrenArtifacts(getRepo()));
   if (newDL < currDL && newDL < getMaximumDL())
     removeChildrenArtifacts(getArtifact().getArt().queryChildrenArtifacts(getRepo()));
 }