関連ワード:  java random element from stream    java get random element from stream    java stream get random element from list  
結果 : java random element from stream