added debugging with jdb