Changed version of org.eclipse.ui.ide to 3.7.0 to avoid problems with
installation.