public final void handleException(final ExceptionHandle handle,
			final Exception exception) {
		if (!handle.suppress()) {
			if (!this.closed) {
				exception.printStackTrace();
				this.gui.printErrorMessage(exception.toString().replaceAll(
						": ", "\n"));
			}
			if (handle.terminate()) {
				close();
			}
		}
	}