--- pdfbox-1.8.12/pdfbox/build.xml 2017-09-15 07:55:42.584501156 +0200 +++ pdfbox-1.8.12/pdfbox/build.xml 2017-09-15 08:46:31.257902337 +0200 @@ -23,6 +23,9 @@ + + + @@ -175,10 +178,10 @@ description="Compile Java source files"> @@ -186,10 +189,10 @@ description="Compile Java source files"> @@ -197,10 +200,10 @@ description="Compile Java source files"> @@ -809,6 +812,7 @@ doctitle="${project.name}" verbose="no" classpathref="pdfbox.build.classpath" + source="${compile.source}" encoding="ISO-8859-1" breakiterator="yes">