Introduces JSR-305 annotations and XorShift128PlusRandom for fast rekey.