bug fixes in jdb