Category in catalog-overrides.json may result in duplicate

[knutwannheden]

I have a bom-descriptor-json project like the one in Quarkus (https://github.com/quarkusio/quarkus/tree/main/devtools/bom-descriptor-json). If the catalog-overrides.json file contains a catalog which is already defined by the Quarkus platform, then the generated platform descriptor JSON file ends up containing that category twice. Instead I would either have expected an error or the category from my catalog-overrides.json file to override the Quarkus category.

Here is the plugin configuration from pom.xml:

            <plugin>
                <groupId>io.quarkus</groupId>
                <artifactId>quarkus-platform-bom-maven-plugin</artifactId>
                <executions>
                    <execution>
                        <phase>${pluginPhase}</phase>
                        <goals>
                            <goal>generate-platform-descriptor</goal>
                        </goals>
                        <configuration>
                            <processGroupIds>
                                <groupId>ch.mobi.gluon</groupId>
                            </processGroupIds>
                            <bomArtifactId>gluon-bom</bomArtifactId>
                            <quarkusCoreVersion>${quarkus.version}</quarkusCoreVersion>
                            <resolveDependencyManagement>true</resolveDependencyManagement>
                            <overridesFile>${basedir}/target/resources/catalog-overrides.json</overridesFile>
                        </configuration>
                    </execution>
                </executions>
            </plugin>

and here is the relevant part from catalog-overrides.json (the serialization category being the duplicate):

{
  "categories": [
    {
      "name": "Integration",
      "id": "integration",
      "description": "Integration with other frameworks and tools"
    },
    {
      "name": "Serialization",
      "id": "serialization",
      "description": "Serializing and deserializing various formats"
    }
  ]
}