fixed bug in Test.java caused by the previous removal PatternSearcher