A Java Debugger using the JVM Tool Interface