Database plugin for jedit