Save JSON files with file extension

theodolite/src/main/kotlin/rocks/theodolite/core/ExecutionRunner.kt

@@ -26,7 +26,7 @@ class ExecutionRunner(
         } finally {
             ioHandler.writeToJSONFile(
                 searchStrategy.experimentRunner.results,
-                "${resultsFolder}exp${executionId}-result"
+                "${resultsFolder}exp${executionId}-result.json"
             )
             // Create expXYZ_demand.csv file or expXYZ_capacity.csv depending on metric
             when (metric) {

theodolite/src/main/kotlin/rocks/theodolite/kubernetes/TheodoliteExecutor.kt

@@ -120,11 +120,11 @@ class TheodoliteExecutor(
         this.benchmarkExecution.executionId = getAndIncrementExecutionID(resultsFolder + "expID.txt")
         ioHandler.writeToJSONFile(
             this.benchmarkExecution,
-            "${resultsFolder}exp${this.benchmarkExecution.executionId}-execution-configuration"
+            "${resultsFolder}exp${this.benchmarkExecution.executionId}-execution-configuration.json"
         )
         ioHandler.writeToJSONFile(
             benchmark,
-            "${resultsFolder}exp${this.benchmarkExecution.executionId}-benchmark-configuration"
+            "${resultsFolder}exp${this.benchmarkExecution.executionId}-benchmark-configuration.json"
         )
 
         val config = buildConfig()