1. 2011-06-26 Re: [ jEdit-devel ] Hypersearch results broken after jedit-dev Shlomy Reinstein 2. 2011-06-26 [ jEdit-devel ] Hypersearch results broken after savi jedit-dev Shlomy Reinstein