[#95] JavaDoc should generate HTML files with UTF-8 charset