alternatively i could add a hardcoded url:
```diff...
# generalw
wide-energy-11069
03/10/2020, 6:24 AMalternatively i could add a hardcoded url:
Copy code
diff --git a/BUILD.tools b/BUILD.tools
index ed7ddc1..88463c4 100644
--- a/BUILD.tools
+++ b/BUILD.tools
@@ -80,7 +80,8 @@ jar_library(
jar_library(
name='javac9',
jars = [
- jar(org='java', name='javac', rev='9+181-r4173-1'),
+ jar(org='java', name='javac', rev='9+181-r4173-1',
+ url='<https://raw.githubusercontent.com/toolchainlabs/binhost/master/java/javac/9+181-r4173-1/javac-9+181-r4173-1.jar>'),
],
)