Searching in python/helpers/pydev/stubs