DERBY-6379 Manuals are inconsistent in their use of the <shortdesc> element Modified 8 Tools Guide and 5 Tuning Derby topics. Patch: DERBY-6379-toolstuning.diff