eclipse-setup Skripting support for the automated download of eclipse; the download and build of github projects; the provisioning of eclipse