code: private void addParameterDeletesObligationDatabaseEntry(XMethod xmethod, Obligation obligation,
              ObligationPolicyDatabaseEntryType entryType) {
          ObligationPolicyDatabaseEntry entry = database.addParameterDeletesObligationDatabaseEntry(xmethod, obligation, entryType);
          if (DEBUG_ANNOTATIONS) {
              System.out.println("Added entry: " + entry);
          }
      }
docs: Add an appropriate policy database entry for parameters marked with the
  WillClose annotation.
  
  @param xmethod
  a method
  @param obligation
  the Obligation deleted by the method
  @param entryType
  type of entry (STRONG or WEAK)