public String[] getArgs() { String[] args = simu.getArgs(); // TODO: Little hack to add the current instance number to the properties sent to the JiST // server // args[1] = // args[1].concat(ExtendedProperties.DEFAULT_SEPARATOR+"ducks.simulation.instance.num="+instanceNum); return args; }