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 "$@"