oops, make "exit java process" button work again