if (!jsdocBuilder.recordDeprecated()) { addParserWarning("msg.jsdoc.deprecated");
if (!jsdocBuilder.recordDeprecated()) { addParserWarning("msg.jsdoc.deprecated");
if (!jsdocBuilder.recordDeprecated()) { addParserWarning("msg.jsdoc.deprecated");
if (!jsdocBuilder.recordDeprecated()) { addParserWarning("msg.jsdoc.deprecated");