vm.migrate(dst);
double endTime = Msg.getClock();
Msg.info(" - End of Migration from "+ src.getName() +" to " + dst.getName()+ " (duration:" +
- String.format("%.9f", (endTime-startTime))+")");
+ String.format(java.util.Locale.ROOT, "%.9f", (endTime-startTime))+")");
}
public void main(String[] strings) throws MsgException {