関連ワード:  java stream cast to type    java stream map cast to type    java stream cast to generic type    java convert stream to typed array    java stream convert to another type    java stream convert type    java stream cast object to another type