public void UnRegisterReader(PdfReader reader)
{
if (!readers2intrefs.ContainsKey(reader))
return;
readers2intrefs.Remove(reader);
RandomAccessFileOrArray raf;
if (!readers2file.TryGetValue(reader, out raf))
return;
readers2file.Remove(reader);
try{raf.Close();}catch{}
}