JAL-3349 Remove processed args from list to send to jalview

[jalview.git] / getdown / src / getdown / core / src / main / java / com / threerings / getdown / data / Application.java

diff --git a/getdown/src/getdown/core/src/main/java/com/threerings/getdown/data/Application.java b/getdown/src/getdown/core/src/main/java/com/threerings/getdown/data/Application.java
index 9539744..7634726 100644 (file)
--- a/getdown/src/getdown/core/src/main/java/com/threerings/getdown/data/Application.java
+++ b/getdown/src/getdown/core/src/main/java/com/threerings/getdown/data/Application.java
@@ -1958,6 +1958,7 @@ public class Application
           if (arg.startsWith("-"+CLI_JVM_ARG_PREFIX)) {
             String newArg = arg.substring(CLI_JVM_ARG_PREFIX.length() + 1);
             extracted.add(newArg);
+            args.remove(arg);
           } else if (arg.startsWith("-jvmmempc=")) {
             try {
               _jvmmempc = Integer.parseInt(arg.substring(10));