should use

jdk_setup.args(..)

to build the args to use.