- added 'final' and JSR305 annotations