HashSet actionSet = new HashSet();
HashMap actions = new HashMap();
  public static final Action[] augmentList(Action[] list1, Action[] list2)  {    HashSet actionSet = new HashSet();    for (int i = 0; i < list1.length; ++i)      actionSet.add(list1[i]);    for (int i = 0; i < list2.length; ++i)      actionSet.add(list2[i]);    ArrayList list = new ArrayList(actionSet);    return (Action[]) list.toArray(new Action[actionSet.size()]);  }