checkstyle double quotes in HTML