jEdit 5 API