File encoding.patch of Package ecj.28016
--- ecj-4.18.orig/build.xml 2022-03-20 14:23:39.947886348 +0100 +++ ecj-4.18/build.xml 2022-03-20 14:26:28.600913037 +0100 @@ -24,6 +24,7 @@ <mkdir dir="${output}" /> <javac srcdir="${basedir}" destdir="${output}" + encoding="utf-8" debuglevel="lines,source" source="1.8" target="1.8">