Merge "Make java_sources rule public"

tools/download_file.py

diff --git a/tools/download_file.py b/tools/download_file.py
index 3e6fca9..ab8647d 100755
--- a/tools/download_file.py
+++ b/tools/download_file.py
@@ -110,7 +110,7 @@
 
   print('Download %s' % src_url, file=stderr)
   try:
-    check_call(['curl', '--proxy-anyauth', '-sfo', cache_ent, src_url])
+    check_call(['curl', '--proxy-anyauth', '-ksfo', cache_ent, src_url])
   except OSError as err:
     print('could not invoke curl: %s\nis curl installed?' % err, file=stderr)
     exit(1)