Lines Matching refs:oldDocPrefix
874 if (!useNew && HTMLReportGenerator.oldDocPrefix == null) {878 String prefix = HTMLReportGenerator.oldDocPrefix;