A simple, non-magical Java debugger.