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