jEdit: update from 4.4.2 to 5.1.0