slightly improved jnxdebug api
slightly improved jnxdebug api