Re: RFR: JDK-8272866 java.util.random package summary contains incorrect mixing function in table