--- jsr166/build.xml	2018/10/01 00:10:52	1.278
+++ jsr166/build.xml	2018/10/07 03:43:04	1.280
@@ -204,7 +204,9 @@
   <!-- <property name="java11.docroot.url" value="http://download.java.net/java/jdk11/docs"/> -->
   <property name="java12.docroot.url" value="https://download.java.net/java/jdk12/docs"/>
   <!-- Default jdk doc location (latest stable release seems best) -->
-  <property name="java.docroot.url"   value="${java11.docroot.url}"/>
+  <!-- But pin to jdk 10 until fix for -->
+  <!-- 8211194: javadoc -link doesn't take module path into consideration -->
+  <property name="java.docroot.url"   value="${java10.docroot.url}"/>
 
   <!-- Canonical location of jdk API docs, to use with javadoc link attribute -->
   <property name="java5.api.url"      value="${java5.docroot.url}/api/"/>
@@ -396,13 +398,14 @@
     <sequential>
       <property name="build.main.java"    value="${java@{v}}"/>
       <property name="build.main.javac"   value="${javac@{v}}"/>
-      <!-- Force javadoc version to be at least 10, 
-           so we can use override-methods=summary -->
+      <!-- Force javadoc version to be at least 10, so we can use override-methods=summary -->
+      <!-- Force javadoc version to be at least 12, due to JDK-8202628 -->
       <condition property="build.main.javadoc" 
-                 value="${javadoc11}"
+                 value="${javadoc12}"
                  else="${javadoc@{v}}">
-        <equals arg1="@{v}" arg2="9"/>
+        <matches pattern="^(9|10|11)$" string="@{v}"/>
       </condition>
+      <property name="build.main.javadoc"   value="${javadoc12}"/>
     </sequential>
   </macrodef>
   <define-build-main-properties v="${build.main.java.version}"/>
@@ -481,7 +484,7 @@
 <!-- TODO: <arg line="- -module-source-path ${jdk9.home}/src.zip"/> -->
     <javadoc destdir="${docs.dir}"
              packagenames="none"
-             link="${java10.api.url}"
+             link="${java11.api.url}"
              overview="${src.dir}/intro.html"
              access="${build.javadoc.access}"
              sourcepath="${src.dir}"