private static RegisterSpec[] dupArray(RegisterSpec[] orig){
  RegisterSpec[] copy=new RegisterSpec[orig.length];
  System.arraycopy(orig,0,copy,0,orig.length);
  return copy;
}

private static RegisterSpec [ ] dupArray ( RegisterSpec [ ] orig ) { RegisterSpec [ ] copy = new RegisterSpec [ orig . length ] ; System . arraycopy ( orig , 0 , copy , 0 , orig . length ) ; return copy ; }
duplicates a registerspec array .
