public VisitRegistry clone() throws CloneNotSupportedException {
  VisitRegistry res=(VisitRegistry)super.clone();
  res.unvisitedCount=this.unvisitedCount;
  res.registry=Arrays.copyOfRange(this.registry,0,this.registry.length);
  return res;
}

public VisitRegistry clone ( ) throws CloneNotSupportedException { VisitRegistry res = ( VisitRegistry ) super . clone ( ) ; res . unvisitedCount = this . unvisitedCount ; res . registry = Arrays . copyOfRange ( this . registry , 0 , this . registry . length ) ; return res ; }
creates the copy of a registry .
