public MenuElement[] getSelectedPath() { MenuElement res[] = new MenuElement[selection.size()]; int i,c; for(i=0,c=selection.size();i<c;i++) res[i] = selection.elementAt(i); return res; }