update ideaSDK to 139.872.1
update ideaSDK to 139.872.1

SergeevPavel/intellij-scala,SergeevPavel/intellij-scala,LPTK/intellij-scala,triggerNZ/intellij-scala,SergeevPavel/intellij-scala,LPTK/intellij-scala,triggerNZ/intellij-scala,triggerNZ/intellij-scala,LPTK/intellij-scala,JetBrains/intellij-scala-historical,JetBrains/intellij-scala-historical,JetBrains/intellij-scala-historical