SBT plugin for jEdit.