jEdit editor integration