org.gjt.sp.jedit.search.SearchDialog.setSearchString(String,int)