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