Searching in checker-framework/stubs