return worker(s, doc.getStartPosition(), true);
if (searchPosition == null) return worker(s, doc.getStartPosition(), true); else return worker(s, searchPosition, true);
  public boolean search(String s) {    searchString = s;    return worker(s, doc.getStartPosition(), true);  }