1174 |
/** |
/** |
1175 |
* Cache a single Random object for use by shuffle(List). This improves |
* Cache a single Random object for use by shuffle(List). This improves |
1176 |
* performance as well as ensuring that sequential calls to shuffle() will |
* performance as well as ensuring that sequential calls to shuffle() will |
1177 |
* not result in the same shuffle order occuring: the resolution of |
* not result in the same shuffle order occurring: the resolution of |
1178 |
* System.currentTimeMillis() is not sufficient to guarantee a unique seed. |
* System.currentTimeMillis() is not sufficient to guarantee a unique seed. |
1179 |
*/ |
*/ |
1180 |
private static Random defaultRandom = null; |
private static Random defaultRandom = null; |