@Override
 public void dispose() {
   // temporary pause the console output, until a new console is available again
   outStreamConnection.getUiPipe().setTarget(new AlwaysPaused());
   errStreamConnection.getUiPipe().setTarget(new AlwaysPaused());
   stdOut.dispose();
   stdErr.dispose();
   totalWidget.dispose();
 }