DERBY-6379 Manuals are inconsistent in their use of the <shortdesc> element Modified 16 Tools Guide topics. Patch: DERBY-6379-tools-tooldoc.diff