Class javax.help.DefaultHelpModel.DefaultHighlight is not used by any class in this documentation set.