change to jdk 7, adds threadlocal Random