DataSetDefEditorPresenter extends BaseEditor { @OnClose public void onClose() { disposeWorkflow(); }  @OnStartup void onStartup(final ObservablePath path,
                          final PlaceRequest place); @WorkbenchPartTitleDecoration IsWidget getTitle(); @WorkbenchPartTitle String getTitleText(); @WorkbenchMenu Menus getMenus(); @WorkbenchPartView Widget getWidget(); @OnMayClose boolean onMayClose(); @OnClose void onClose(); DataSetDef getDataSetDef(); int getCurrentModelHash(); void disposeWorkflow(); @Inject
    public DataSetDefScreenView view; }
@Test public void testOnClose() throws Exception { presenter.onClose(); verify(workflowFactory).dispose(editWorkflow); }