Fix: extraArgs were incorrectly appended to the argument list twice.
Fix: extraArgs were incorrectly appended to the argument list twice.

MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE