The Eclipse intallation manager, installing PyDev