Get GAMA Dev Code Using Eclipse Plugin

This procedure is obsolete. The GAMA sources are now installed with the GAMA Developer Tools: see Installing the development version.