A debugger for Java software