https://www.jedit.org
