Searched defs:HEADER_KEYS (Results 1 - 1 of 1) sorted by relevance

/openjdk7/langtools/src/share/classes/com/sun/tools/doclets/formats/html/
H A DDeprecatedListWriter.java72 private static final String[] HEADER_KEYS = new String[] { field in class:DeprecatedListWriter
150 configuration.getText(HEADER_KEYS[i]),

Completed in 21 milliseconds