Add JSR305 to util