private void deallocate_page (PageId pageno) throws 
    BufMgrException {
    
    try {
      SystemDefs.JavabaseDB.deallocate_page(pageno);
    } catch (Exception e) {
      throw new BufMgrException(e, "BUFMGR: deallocate_page() failed");
    } // end try
    
  } // end deallocate_page()