Making downloading the Eclipse IDE easy and a joy