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