Accidentally added Search.java with an error. This version is fixed.