[jdk annotations] annotate String::replace(char, char) as pure
[jdk annotations] annotate String::replace(char, char) as pure

GitOrigin-RevId: 55442dce1ad89fb500726e901f8263a3e0464519
allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community