lib/Tools/java_monitor

more robust Java monitor: avoid odd warning about insecure connection;

#!/usr/bin/env bash
#
# Author: Makarius
#
# DESCRIPTION: monitor another Java process

isabelle_admin_build jars || exit $?

isabelle java isabelle.Java_Monitor "$@"