download Eclipse (3.7) if no Eclipse home is specified