Fix a problem with vmArgs management on Windows Platform when using jacoco or javagui

(found during a code review)