Random shuffling an array of strings [duplicate]

I need to randomly shuffle an array of 10 names:

String[] names={"name 1", "name 2", "name 3", "name 4", "name 5", "name 6", "name 7", "name 8", "name 9", "name 10"};

What function could i use to solve this?