File derby-javadoc-encoding.patch of Package derby

--- db-derby-10.13.1.1-src/build.xml	2019-02-06 09:33:24.160447776 +0100
+++ db-derby-10.13.1.1-src/build.xml	2019-02-06 09:35:59.053237165 +0100
@@ -1005,6 +1005,7 @@
              classpath="${bootClasspath};${osgi};${servlet24};${out.dir};${jars.javadoc}"
              sourcepath="${derby.engine.src.dir}:${derby.client.src.dir}:${derby.drda.src.dir}:${derby.shared.src.dir}:${derby.optional.src.dir}:${derby.tools.src.dir}"
              excludepackagenames="org.apache.derby.*"
+             encoding="UTF-8"
              breakiterator="true"
              access="public"
              destdir="${public.api.dir}"
@@ -1059,6 +1060,7 @@
         additionalparam="-J-mx500M"
         packagenames="org.*"
         access="private"
+        encoding="UTF-8"
         breakiterator="yes"
         useexternalfile="yes"
         classpath="${out.dir};${jars.javadoc}"
@@ -1149,6 +1151,7 @@
         additionalparam="-J-mx500M"
         packagenames="org.apache.derbyDemo.vtis.*"
         access="private"
+        encoding="UTF-8"
         breakiterator="yes"
         useexternalfile="yes"
         classpath="${out.dir}"
@@ -1197,6 +1200,7 @@
        additionalparam="-J-mx500M"
        packagenames="org.*"
        access="private"
+       encoding="UTF-8"
        breakiterator="yes"
        useexternalfile="yes"
        classpath="${out.dir};${jars.javadoc};${junit}"