Changed java_opts.
Highlight searches.