DERBY-7010: Change http: to https: in releaseSummary.xml for security reasons; commit derby-7010-19-aa-changeHttpToHttpsInReleaseSummary.diff.