[Bug 2228918] Review Request: jedit - Programmer's text editor