8048293: update tools/javadoc/6227454 to have missing <head> tag
Reviewed-by: jjg, bpatel
--- a/langtools/test/tools/javadoc/6227454/Test.java Thu Jun 26 16:07:07 2014 -0700
+++ b/langtools/test/tools/javadoc/6227454/Test.java Thu Jun 26 16:39:14 2014 -0700
@@ -40,14 +40,15 @@
void run() throws Exception {
String docType = "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01 Transitional//EN\" "
+ "\"http://www.w3.org/TR/html4/loose.dtd\">";
+ String headTag = "<head><title>Title </title></head>";
test(docType+"<html><body>ABC XYZ</body></html>");
test(docType+"<html><body>ABC XYZ</BODY></html>");
test(docType+"<html><BODY>ABC XYZ</body></html>");
test(docType+"<html><BODY>ABC XYZ</BODY></html>");
test(docType+"<html><BoDy>ABC XYZ</bOdY></html>");
- test(docType+"<html> ABC XYZ</bOdY></html>", "Body tag missing from HTML");
+ test(docType+"<html>"+headTag+" ABC XYZ</bOdY></html>", "Body tag missing from HTML");
test(docType+"<html><body>ABC XYZ </html>", "Close body tag missing from HTML");
- test(docType+"<html> ABC XYZ </html>", "Body tag missing from HTML");
+ test(docType+"<html>"+headTag+" ABC XYZ </html>", "Body tag missing from HTML");
test(docType+"<html><body>ABC" + bigText(8192, 40) + "XYZ</body></html>");
if (errors > 0)