JDK-8281505 added this helper method that operates on uint64_t masks, but it operates on ints. So it is subtly broken on 32-bit platforms, for example. SonarCloud complains about it: "The result of the left shift is undefined due to shifting by '32', which is greater or equal to the width of type 'int'"