hotspot eclipse download script amended.