git rid of two non utf-8 compatible symbols from Searching.java