JBIDE-14599 <!doctype html> vs <!DOCTYPE html>

Algorithm is FileUtil.isDoctypeHTML() is improved.
Test is added.