add jl_timer_stop. fixes #2579