################################################################################# ## ## Downloading: @{eclipseZip} ## ## From: ${eclipse_url} ## ################################################################################# ################################################################################# ## ## Unzipping: @{eclipseZip} ## ################################################################################# ################################################################################# ## ## Gunzipping: @{eclipseZip} Untarring: @{eclipseTar} ## #################################################################################