Update rule metadata#31

github-actions[bot] wants to merge 1 commit intomasterSonarSource/sonar-java-symbolic-execution:masterfrom

gh-action/update-rule-metadataSonarSource/sonar-java-symbolic-execution:gh-action/update-rule-metadataCopy head branch name to clipboard