src/java.base/share/native/launcher/main.c

@@ -126,10 +126,13 @@
             }
 
             // terminate the list
             JLI_List_add(list, NULL);
             jargv = list->elements;
+         } else if (extra_jargc > 0) { // should never happen
+            fprintf(stderr, "EXTRA_JAVA_ARGS defined without JAVA_ARGS");
+            abort();
          } else { // no extra args, business as usual
             jargc = main_jargc;
             jargv = (char **) const_jargs;
          }
     }