Fixed a small bug in the Eclipse installation script.