--- db-derby-10.13.1.1-src/java/build/org/apache/derbyPreBuild/build.xml 2018-05-16 13:30:53.990766012 +0200 +++ db-derby-10.13.1.1-src/java/build/org/apache/derbyPreBuild/build.xml 2018-05-16 13:32:46.391353234 +0200 @@ -31,8 +31,8 @@