* Automatically fill in the Previous State, Current State,
* Target State, and Media Time properties of the
* RestartingEvent.
*/
protected void postRestartingEvent() {
postEvent( new RestartingEvent(
this, previousState, currentState, targetState, getMediaTime()) );
}