docs: public <DatabaseType extends PropertyDatabase<KeyType, Property>, KeyType extends FieldOrMethodDescriptor, Property> void storePropertyDatabase(
              DatabaseType database, String fileName, String description) {
  
          try {
              File dbFile = new File(getDatabaseOutputDir(), fileName);
              if (DEBUG) {
                  System.out.println("Writing " + description + " to " + dbFile.getPath() + "...");
              }
              database.writeToFile(dbFile.getPath());
          } catch (IOException e) {
              getLookupFailureCallback().logError("Error writing " + description, e);
          }
      }