static LabelNode[] clone(final List<LabelNode> labels,final Map<LabelNode,LabelNode> map){
  LabelNode[] clones=new LabelNode[labels.size()];
  for (int i=0; i < clones.length; ++i) {
    clones[i]=map.get(labels.get(i));
  }
  return clones;
}

static LabelNode [ ] clone ( final List < LabelNode > labels , final Map < LabelNode , LabelNode > map ) { LabelNode [ ] clones = new LabelNode [ labels . size ( ) ] ; for ( int i = 0 ; i < clones . length ; ++ i ) { clones [ i ] = map . get ( labels . get ( i ) ) ; } return clones ; }
returns the clones of the given labels .
