diff --git a/Documentation/dev-buck.txt b/Documentation/dev-buck.txt
index 6248173b46..5450f57eb1 100644
--- a/Documentation/dev-buck.txt
+++ b/Documentation/dev-buck.txt
@@ -241,8 +241,6 @@ that artifact:
  maven_jar(
    name = 'gwtorm',
    id = 'gwtorm:gwtorm:42',
-   bin_sha1 = None,
-   src_sha1 = None,
    license = 'Apache2.0',
    repository = MAVEN_LOCAL,
  )
diff --git a/lib/maven.defs b/lib/maven.defs
index 8085646e7a..db37cdbbc5 100644
--- a/lib/maven.defs
+++ b/lib/maven.defs
@@ -91,13 +91,12 @@ def maven_jar(
       deps = ['//tools:download_file'],
       out = srcjar,
     )
-    if src_sha1:
-      prebuilt_jar(
-        name = name + '_src',
-        binary_jar = genfile(srcjar),
-        deps = license + [':' + name + '__download_src'],
-        visibility = visibility,
-      )
+    prebuilt_jar(
+      name = name + '_src',
+      binary_jar = genfile(srcjar),
+      deps = license + [':' + name + '__download_src'],
+      visibility = visibility,
+    )
   else:
     srcjar = None
     genrule(
diff --git a/tools/download_file.py b/tools/download_file.py
index 3ebc2c640f..4c6e19fe29 100755
--- a/tools/download_file.py
+++ b/tools/download_file.py
@@ -26,7 +26,7 @@ from zipfile import ZipFile, BadZipfile, LargeZipFile
 REPO_ROOTS = {
   'GERRIT': 'http://gerrit-maven.storage.googleapis.com',
   'MAVEN_CENTRAL': 'http://repo1.maven.org/maven2',
-  'MAVEN_LOCAL': path.expanduser('~/.m2/repository'),
+  'MAVEN_LOCAL': 'file://' + path.expanduser('~/.m2/repository'),
 }
 
 GERRIT_HOME = path.expanduser('~/.gerritcodereview')