How to shuffle a stream using the Stream API?

来源：https://stackoverflow.com/questions/24055943/how-to-shuffle-a-stream-using-the-stream-api