HOW DEVELOPERS SEARCH FOR CODE: A CASE STUDY