The 2008 Tokyo murderer of seven was executed