PBI-10 Approval: jedit 5.1.0,1 (ken)