/**
* Removes the specified widget.
*
* @param w the widget to be removed
* @throws NoSuchElementException if the widget is not present
*/
public void remove(Widget w) {
int index = indexOf(w);
if (index == -1) {
throw new NoSuchElementException();
}
remove(index);
}
