lib/Tools/java_monitor

less aggressive auto-build: avoid change of running jar;

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

isabelle java isabelle.Java_Monitor "$@"