public void RegisterReader(PdfReader reader, bool openFile)
{
if (readers2intrefs.ContainsKey(reader))
return;
readers2intrefs[reader] = new IntHashtable();
if (openFile) {
RandomAccessFileOrArray raf = reader.SafeFile;
readers2file[reader] = raf;
raf.ReOpen();
}
}