docs: public void matchSet(String[] elementNames, String[] elementValues,
                           int op) throws DBException
      {
  
          // Delete the old search criteria
          criteria = new Criteria();
  
          if (op == OR)
          {
              // For each of the elements in the array, create a leaf node for the match
              for (int i = 0; i < elementNames.length; i++)
              {
                  Criteria tempCrit = new Criteria();
  
                  tempCrit.addEqualTo(elementNames[i], elementValues[i]);
                  criteria.addOrCriteria(tempCrit);
              }
          }
          else if (op == AND)
          {
              for (int i = 0; i < elementNames.length; i++)
              {
                  criteria.addEqualTo(elementNames[i], elementValues[i]);
              }
          }
          else
          {
              throw new DBException();
          }
      }