fix random seeding openjdk6