Kernel debugging shell for Java that allows gdb-like syntax