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