https://churchm.ag/jedit-free-cross-platform-editor-for-programmers/