Make some jazz debugger console methods virtual