Contains the code for DrJava's JPDA-based debugger.