Z3 prints so many warnings that the very informative abnormal termination exception hardly ever gets raised -- better be more aggressive here

#!/usr/bin/env bash

#

# Author: Makarius

#

# Default Isabelle application wrapper.

exec "$(dirname "$0")"/bin/isabelle jedit "$@"