Build #7588 [Consulo #4218]

build#7588_consulo#4218

migrate to jspecify

Build #7587 [Consulo #4215]

build#7587_consulo#4215

migrate to jspecify

Build #7586 [Consulo #4214]

build#7586_consulo#4214

migrate to jspecify

Build #7585 [Consulo #4213]

build#7585_consulo#4213

migrate to jspecify

Build #7584 [Consulo #4212]

build#7584_consulo#4212

migrate to jspecify

Build #7583 [Consulo #4212]

build#7583_consulo#4212

migrate to jspecify

Build #7582 [Consulo #4212]

Merge pull request #606 from unv-unv/optimizing-xml-escapes

Replacing StringUtil.escapeXml with more optimized XmlStringUtil.escapeText. Some refactoring

Build #7581 [Consulo #4211]

Merge pull request #606 from unv-unv/optimizing-xml-escapes

Replacing StringUtil.escapeXml with more optimized XmlStringUtil.escapeText. Some refactoring

Build #7580 [Consulo #4210]

Merge pull request #606 from unv-unv/optimizing-xml-escapes

Replacing StringUtil.escapeXml with more optimized XmlStringUtil.escapeText. Some refactoring

Build #7579 [Consulo #4209]

Merge pull request #606 from unv-unv/optimizing-xml-escapes

Replacing StringUtil.escapeXml with more optimized XmlStringUtil.escapeText. Some refactoring