432071: vagrant hudson-3.1.2 fix 

Change-Id: If136fa3b03a024f9e9e762678a2e8ec7271f4e84
Task-Url: https://bugs.eclipse.org/bugs/show_bug.cgi?id=432071
Signed-off-by: Frank Becker <Frank@Frank-Becker.de>
9 files changed