From 4f5a6b90d5894c3d559f9dbeb540b2c8a2fde9f0 Mon Sep 17 00:00:00 2001
From: Oliver Bertuch <o.bertuch@fz-juelich.de>
Date: Tue, 1 Dec 2020 18:07:00 +0100
Subject: [PATCH] Introduce Eclipse MicroProfile Config API to the project.
 #7000

---
 pom.xml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/pom.xml b/pom.xml
index bdd60965137..02d457cd99f 100644
--- a/pom.xml
+++ b/pom.xml
@@ -280,6 +280,11 @@
             <version>29.0-jre</version>
             <type>jar</type>
         </dependency>
+        <dependency>
+            <groupId>org.eclipse.microprofile.config</groupId>
+            <artifactId>microprofile-config-api</artifactId>
+            <scope>provided</scope>
+        </dependency>
         <dependency>
             <groupId>jakarta.platform</groupId>
             <artifactId>jakarta.jakartaee-api</artifactId>