docs: public void recountRecords()
      {
          try   {
              Object bookmark = null;
              if (m_bRestoreCurrentRecord)
                  if (m_recordSub.getEditMode() == DBConstants.EDIT_CURRENT)
                      bookmark = m_recordSub.getHandle(DBConstants.BOOKMARK_HANDLE);
              m_recordSub.close();
              while (m_recordSub.hasNext())
              {   // Recount each sub-record
                  m_recordSub.next();
              }
              if (bookmark != null)
                  m_recordSub.setHandle(bookmark, DBConstants.BOOKMARK_HANDLE);
          } catch (DBException ex)    {
              ex.printStackTrace();
          }
      }