docs: private void addFileStreamEntries(String kind) {
          Obligation obligation = database.getFactory().addObligation("java.io." + kind);
          database.addEntry(new MatchMethodEntry(new SubtypeTypeMatcher(BCELUtil.getObjectTypeInstance(Values.DOTTED_JAVA_IO_FILE + kind)),
                  new ExactStringMatcher("<init>"), new RegexStringMatcher(".*"), false, ObligationPolicyDatabaseActionType.ADD,
                  ObligationPolicyDatabaseEntryType.STRONG, obligation));
          database.addEntry(new MatchMethodEntry(new SubtypeTypeMatcher(BCELUtil.getObjectTypeInstance("java.io." + kind)),
                  new ExactStringMatcher("close"), new ExactStringMatcher("()V"), false, ObligationPolicyDatabaseActionType.DEL,
                  ObligationPolicyDatabaseEntryType.STRONG, obligation));
      }