WikiSearcher is now called through the Java API