// ***** VDMTOOLS START Name=setNameList KEEP=NO public void setNameList(final Vector parg) throws CGException { ivNameList = (Vector) UTIL.ConvertToList(UTIL.clone(parg)); }