From 586a7c2cc1dee147c2a360b711a72feb0da9d0b4 Mon Sep 17 00:00:00 2001
From: Avinash Kumar Deepak <avinash8655279@gmail.com>
Date: Wed, 18 Feb 2026 21:51:47 +0530
Subject: [PATCH] fix maxtime as double in concoredocker.java, fixes

---
 concoredocker.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/concoredocker.java b/concoredocker.java
index 053a8ff..c987d27 100644
--- a/concoredocker.java
+++ b/concoredocker.java
@@ -26,7 +26,7 @@ public class concoredocker {
     private static Map<String, Object> params = new HashMap<>();
     // simtime as double to preserve fractional values (e.g. "[0.0, ...]")
     private static double simtime = 0;
-    private static int maxtime;
+    private static double maxtime;
 
     public static void main(String[] args) {
         try {
@@ -109,12 +109,12 @@ private static Map<String, Object> parseFile(String filename) throws IOException
      * Sets maxtime from concore.maxtime file, or uses defaultValue if file not found.
      * Catches both IOException and RuntimeException to match Python safe_literal_eval.
      */
-    private static void defaultMaxTime(int defaultValue) {
+    private static void defaultMaxTime(double defaultValue) {
         try {
             String content = new String(Files.readAllBytes(Paths.get(inpath + "1/concore.maxtime")));
             Object parsed = literalEval(content.trim());
             if (parsed instanceof Number) {
-                maxtime = ((Number) parsed).intValue();
+                maxtime = ((Number) parsed).doubleValue();
             } else {
                 maxtime = defaultValue;
             }