https://vaadin.com/downloading?package=release/7.4/7.4.1/vaadin-all-7.4.0.zip is not the correct URL.
I changed the filename to vaadin-all-7.4.1.zip and was able to download the SDK.
I love the Vaadin framework, but come on, people, this is a rookie mistake! Didn’t you test the download link?