commit d193916df348ebb20a366af87eeadb2032abad5b
author Xin <xingao267@users.noreply.github.com> Mon Feb 11 16:40:06 2019 -0500
committer GitHub <noreply@github.com> Mon Feb 11 16:40:06 2019 -0500
tree f36002ea6e9f1999ea96d8fb7db961201601eefd
parent 6fc2c74528fa311cbeba17d631355e5e4ca2a7ab

Add JDK11 java_runtime. (#305)

configs/ubuntu16_04_clang/1.1/BUILD

diff --git a/configs/ubuntu16_04_clang/1.1/BUILD b/configs/ubuntu16_04_clang/1.1/BUILD
index 33b1f9a..1d489f2 100644
--- a/configs/ubuntu16_04_clang/1.1/BUILD
+++ b/configs/ubuntu16_04_clang/1.1/BUILD
@@ -26,6 +26,12 @@
     java_home = "/usr/lib/jvm/zulu10.2+3-jdk10.0.1-linux_x64-allmodules",
 )
 
+java_runtime(
+    name = "jdk11",
+    srcs = [],
+    java_home = "/usr/lib/jvm/11.29.3-ca-jdk11.0.2/reduced",
+)
+
 # Update every time when a new container is available publically.
 LATEST_CLANG_VERSION = "r346485"