docs: public ObligationPolicyDatabaseEntry addParameterDeletesObligationDatabaseEntry(XMethod xmethod, Obligation obligation,
              ObligationPolicyDatabaseEntryType entryType) {
          // Add a policy database entry noting that this method
          // will delete one instance of the obligation type.
          ObligationPolicyDatabaseEntry entry = new MatchMethodEntry(xmethod, ObligationPolicyDatabaseActionType.DEL, entryType,
                  obligation);
          addEntry(entry);
          return entry;
      }