Remove pydev.extension dependency