/** Dispose of the widget. */ public void dispose() { // let the owner know we're going away fWidgetOwner.widgetDisposed(this); fWidgetOwner.removePlayerStateListener(this); }