Searched refs:FILE_HEADER (Results 1 - 1 of 1) sorted by relevance

/openjdk7/langtools/test/tools/javac/diags/
H A DRunExamples.java480 html.startTag(FILE_HEADER);
482 html.endTag(FILE_HEADER);
592 static final String FILE_HEADER = HTMLWriter.H5; field in class:RunExamples.HTMLRunner

Completed in 29 milliseconds