Вышел jEdit 4.3pre4

Вышел новый pre релиз jEdit 4.3pre4.
Список изменений