EditorConfig plugin for jEdit