If a user overrides this with another parameter will it overwrite the default value?

e.g.
User gives: -Dhttps.proxyHost=example.com

Will the java opts be:

-Xmx128m -Dttps.proxyHost=example.com

Or just:

-Dttps.proxyHost=example.com