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

/openjdk7/langtools/test/tools/javac/diags/
H A DRunExamples.java410 if (INDEX_HEADER != null) {
411 html.startTag(INDEX_HEADER);
413 html.endTag(INDEX_HEADER);
590 static final String INDEX_HEADER = HTMLWriter.H4; field in class:RunExamples.HTMLRunner

Completed in 35 milliseconds