File java8.patch of Package prometheus-simpleclient-java
Index: client_java-1.5.0/prometheus-metrics-exporter-servlet-jakarta/pom.xml
===================================================================
--- client_java-1.5.0.orig/prometheus-metrics-exporter-servlet-jakarta/pom.xml
+++ client_java-1.5.0/prometheus-metrics-exporter-servlet-jakarta/pom.xml
@@ -19,7 +19,7 @@
<properties>
<automatic.module.name>io.prometheus.metrics.exporter.servlet.jakarta</automatic.module.name>
- <java.version>17</java.version>
+ <java.version>8</java.version>
</properties>
<dependencies>