Twitter switches to Java for its search engine