DERBY-7010: Update the href to the KEYS file on the 10.15.1.3 download page; commit derby-7010-23-aa-updateKEYShref.diff.