`jdk_setup.args()` hadn’t been used in other cases...
# development
a
jdk_setup.args()
hadn’t been used in other cases, so that’s useful