Java debugger front-end