PBI-10 Approval: jedit 5.1.0 (kris)