On Thu, 18 Mar 2021 16:50:39 GMT, Claes Redestad <redes...@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
