On Thu, 18 Mar 2021 16:42:39 GMT, Alex Blewitt <github.com+76791+alb...@openjdk.org> wrote:
>> Yeah, I agree. > > Is that there to indicate a placeholder value that was once used and is kept > for documentation purposes? Should the corresponding JavaDoc be removed as > well? Should I do this in the same commit/PR as this one, or submit a new PR? > Would prefer to avoid conflating fixes if possible so that if one needs to be > reverted we don't revert the related changes. There's another constant with value 3 defined, so I think this is just some left-over. If you prefer separating out the removal to another RFE I'd remove this particular change from this PR. ------------- PR: https://git.openjdk.java.net/jdk/pull/2993