Utility plugin for jedit