java-hook was crashing org-html-export