docs: public DriverPropertyInfo[] getPropertyInfos() {
          List<DriverPropertyInfo> results = new ArrayList<DriverPropertyInfo>();
  
          addUrlPropertyInfo(results);
          addUserNamePropertyInfo(results);
          addPasswordPropertyInfo(results);
          addWorkspacePropertyInfo(results);
          addRepositoryNamePropertyInfo(results);
  
          return results.toArray(new DriverPropertyInfo[results.size()]);
      }