A simple tool htmlize java thread dump