The python development environment. Pydev core plugin Optional extensions to pydev (requires mylyn)