From 950b47a38306c60832ba98c707eb58dea9a52699 Mon Sep 17 00:00:00 2001
From: Geert Bevin <gbevin@uwyn.com>
Date: Thu, 10 Aug 2023 23:43:38 -0400
Subject: [PATCH] Fix to java agent options API

---
 src/main/java/rife/bld/operations/JavaOptions.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/main/java/rife/bld/operations/JavaOptions.java b/src/main/java/rife/bld/operations/JavaOptions.java
index 4175c49..a2bb749 100644
--- a/src/main/java/rife/bld/operations/JavaOptions.java
+++ b/src/main/java/rife/bld/operations/JavaOptions.java
@@ -225,7 +225,7 @@ public class JavaOptions extends ArrayList<String> {
      * @since 1.5.18
      */
     public JavaOptions agentLib(String libName, String options) {
-        add("-agentlib:" + libName + (options == null ? "" : ":" + options));
+        add("-agentlib:" + libName + (options == null ? "" : "=" + options));
         return this;
     }
 
@@ -246,7 +246,7 @@ public class JavaOptions extends ArrayList<String> {
      * @since 1.5.18
      */
     public JavaOptions agentPath(File pathName, String options) {
-        add("-agentpath:" + pathName + (options == null ? "" : ":" + options));
+        add("-agentpath:" + pathName + (options == null ? "" : "=" + options));
         return this;
     }
 
@@ -267,7 +267,7 @@ public class JavaOptions extends ArrayList<String> {
      * @since 1.5.18
      */
     public JavaOptions javaAgent(File jarPath, String options) {
-        add("-javaagent:" + jarPath + (options == null ? "" : ":" + options));
+        add("-javaagent:" + jarPath + (options == null ? "" : "=" + options));
         return this;
     }