On 12/09/2013 01:13, Brent Christian wrote: > Please review my fix to remove the jdk.map.useRandomSeed system > property added earlier in jdk8. It's good to see this going away, the changes (and clean-up) look good to me too. -Alan