JBDS-2685 if we decide to move to SpringIDE 3.3, this PR will enable the new 4.30.5 extras site, which contains SpringIDE 3.3 instead of the older 4.30.4 site, which contains SpringIDE 3.2 >> master