search tools update and jedit

Search Tools v0.7.2
jEdit v0.1