Jedit plugin

The jedit tool for jalopy