422423424425426427428429430431432
return(new List()); // currently necessary, but the expressions should handle null arguments. int n = names.length; l = new List(n); for(int i = 0; i < n; i++) l.addElement(new Name(names[i])); return(l); }