Update BufMgr.java