JavaDD

JavaDD: a Declarative Debugger for Java.