code: public synchronized void releaseXMLReader(XMLReader reader) {
          // If the reader that's being released is the cached reader
          // for this thread, remove it from the m_isUse list.
          if (m_readers.get() == reader && reader != null) {
              m_inUse.remove(reader);
          }
      }
docs: Mark the cached XMLReader as available.  If the reader was not
  actually in the cache, do nothing.
  
  @param reader The XMLReader that's being released.