search tools update and jedit workflow

Search Tools v0.7.2
jEdit v0.1