981982983984985986987988989990991
return; } } try { fdTri.processDocument(doc.reader()); } catch (IOException ioe) { // rethrow throw new IOError(ioe); } LOGGER.fine("parsed document #" + docNumber);