18 Mar
2021
18 Mar
'21
5:02 p.m.
On Thu, 18 Mar 2021 16:50:39 GMT, Claes Redestad <redestad@openjdk.org> wrote:
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.
Filed #3076 for the removal and updated this PR without it ------------- PR: https://git.openjdk.java.net/jdk/pull/2993