Fix build with recent jdk 11.0.2
authorFridrich Štrba <fridrich.strba@bluewin.ch>
Thu, 24 Jan 2019 14:58:57 +0000 (15:58 +0100)
committerRene Engelhard <rene@debian.org>
Thu, 24 Jan 2019 22:49:14 +0000 (22:49 +0000)
commit76c99f1c3f4465aae20766d5519f6ac01111bfac
treeb0fcd6a3dbd1d8804c95214cde26e07b0c01046f
parentd40dcb1669d69a7d23b40fcef42b362aefbac981
Fix build with recent jdk 11.0.2

Change-Id: I0ee68e087e3973b6a148f9bfefc16581606d6568

Gbp-Pq: Name jdk-11.0.2-javadoc.diff
odk/CustomTarget_javadoc.mk