RE: [JAVAHELP] will search highlighting fix be released?