551713 - Switch to old version of Virgo build tools

For more information see:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=551713
1 file changed