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

/openjdk7/langtools/test/tools/javac/diags/
H A DRunExamples.java562 html.startTag(OUTPUT_HEADER);
564 html.endTag(OUTPUT_HEADER);
593 static final String OUTPUT_HEADER = HTMLWriter.H5; field in class:RunExamples.HTMLRunner

Completed in 46 milliseconds