A simple scripting frontend for the Java Debugger Interface