explicit jsr305 version