jEdit: update from 4.4.2 to 5.2pre1