You successfully deployed an application on WebLogic 12c but notice that its deployment name is different than what you expected.

After checking various places and making multiple deployment attempts, you decide to be on the safe side and just use the method that takes precedence over the others when setting the deployment name. Which method should you use to override the default deployment name?