experimenting with capturing kill signals from Java (kill -15 is captured, kill -9 is not)