equal
deleted
inserted
replaced
113 String value = (String)a.getValue(Action.NAME); |
113 String value = (String)a.getValue(Action.NAME); |
114 h.put((value!=null ? value:""), a); |
114 h.put((value!=null ? value:""), a); |
115 } |
115 } |
116 Action[] actions = new Action[h.size()]; |
116 Action[] actions = new Action[h.size()]; |
117 int index = 0; |
117 int index = 0; |
118 for (Enumeration e = h.elements() ; e.hasMoreElements() ;) { |
118 for (Enumeration<Action> e = h.elements() ; e.hasMoreElements() ;) { |
119 actions[index++] = (Action) e.nextElement(); |
119 actions[index++] = e.nextElement(); |
120 } |
120 } |
121 return actions; |
121 return actions; |
122 } |
122 } |
123 |
123 |
124 /** |
124 /** |