develop: Started using pyDev, an Eclipse plugin. Changes project files.