Update json file java version

chains-project · Aug 3, 2023 · 8cccea2 · 8cccea2
1 parent 770ea5f
commit 8cccea2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/data/unsuccessful-reproductions/bc48e013c7659ace4647f0c62eb88d6d9e491871.json b/data/unsuccessful-reproductions/bc48e013c7659ace4647f0c62eb88d6d9e491871.json
@@ -12,5 +12,6 @@
     "newVersion": "10.3.2",
     "dependencyScope": "compile",
     "versionUpdateType": "other"
-  }
+  },
+  "javaVersionUsedForReproduction" : "11"
 }