Yep. The default value would be overridden, so if they want to keep the -Xmx128m they would need to add that.