Pydev Extensions Pydev core plugin Optional extensions to pydev (requires mylyn)