4d8d0f3788
- Added a version of getWeightedIndex() that takes a float[] the Random to use for picking. git-svn-id: https://samskivert.googlecode.com/svn/trunk@2119 6335cc39-0255-0410-8fd6-9bcaacd3b74c