DERBY-7097: Change the 10.15.1.3 download page to tell users that they need derbytools.jar if their application directly references the JDBC drivers; commit derby-7097-04-aa-10.15.1.3-download-page.diff.