String className = request.getParameter("class");
String documentURI = request.getParameter("source");
try {
// Initialize document cache with 32 DOM slots
if (cache == null) cache = new DocumentCache(32);
if (request.getParameter("stats") != null) {
cache.getStatistics(out);
}
else if ((className == null) || (documentURI == null)) {