Merge "OpenJDK 11: Merging in java.util.Random"