Added more jsr-305 annotations