ee68962c02
For now, JavaResolverSettings in runtime are different from default language version, so it might have a little bit different API surface In future, it's worth considering changing JavaResolverSettings.Default once default language version is changing #KT-47903