z3 fails to cross build from source, because it fails running the Java
compiler, which is requested as a host architecture executable. Most of
the time, a native Java development kit can be used for compiling Java
bindings. This is also the case here. Please consider applying the
attached patch.

Helmut