It looks like this change was made partially before, but maybe not completed? Anyway, this gets our JDT test launchers to work again.