Update to a non-ancient pydev version.