Build.sh: do not consider empty files up-to-date

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Build.sh: follow redirects when downloading maven-helper.sh

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>