public void dispose(){
  if (isDisposed()) {
    return;
  }
  setDisposed(true);
  if (!menu) {
    super.dispose();
  }
}

public void dispose ( ) { if ( isDisposed ( ) ) { return ; } setDisposed ( true ) ; if ( ! menu ) { super . dispose ( ) ; } }
closes the current form and returns to the previous form , releasing the edt in the process
