Fix Javadoc generation on JDK 13

Author: dmitry-timofeev

exonum-java-binding/pom.xml

@@ -660,11 +660,12 @@
       </build>
     </profile>
 
-    <!-- Fill in needed property when generating Javadocs on JDK 11 -->
+    <!-- Fill in needed property when generating Javadocs on JDK 11–12 -->
     <profile>
-      <id>generate-javadocs-jdk11</id>
+      <id>generate-javadocs-jdk11-12</id>
       <activation>
-        <jdk>[11,)</jdk>
+        <!-- Removed in 13 https://bugs.openjdk.java.net/browse/JDK-8215582-->
+        <jdk>[11,13)</jdk>
       </activation>
       <properties>
         <maven.javadoc.joption>--no-module-directories</maven.javadoc.joption>

exonum-light-client/pom.xml

@@ -435,11 +435,12 @@
       </build>
     </profile>
 
-    <!-- Fill in needed property when generating Javadocs on JDK 11+ -->
+    <!-- Fill in needed property when generating Javadocs on JDK 11–12 -->
     <profile>
-      <id>generate-javadocs-jdk11-plus</id>
+      <id>generate-javadocs-jdk11-12</id>
       <activation>
-        <jdk>[11,)</jdk>
+        <!-- Removed in 13 https://bugs.openjdk.java.net/browse/JDK-8215582-->
+        <jdk>[11,13)</jdk>
       </activation>
       <properties>
         <maven.javadoc.joption>--no-module-directories</maven.javadoc.joption>