PBI-9 Approval: jedit 5.1.0 (amd64)