jEdit 4.2 стоит и прекрасно работает уже полгода.
Но на сайте разработчиков, http://www.jedit.org/, есть упоминание о 4.3-pre9, причём пред-релизы выпускаются каждые 3 месяца.
Прошло уже примерно полгода, а цифра 9 не сменилась на цифру 10 :(
Внимание вопрос: неужели этот замечательный текстовый редактор умер?