On Thu, 24 Mar 2022 01:37:15 GMT, Weijun Wang <wei...@openjdk.org> wrote:
>> Hmm, I am under the impression that we tend to use forRemoval=true when >> deprecating stuff, so users may pay more attention to it. This does not mean >> that we MUST remove it? Also, marking it for removal would give users more >> time in case something came up and removal become necessary? > > You are right that there is no rule that an API deprecated for removal must > be removed. OK, you decide what the best way is. It's true that the chance of removing it is not that high (at least based on current situation). So, I removed the forRemoval=true part as you suggested. ------------- PR: https://git.openjdk.java.net/jdk/pull/7913
