PBI-10 Approval: jedit 5.1.0 (ken)