Specify encoding of sources for javadoc

2025-08-20 21:08:14 +02:00
1 changed files with 1 additions and 0 deletions
--- a/jspecify-build.xml
+++ b/jspecify-build.xml
@@ -92,6 +92,7 @@
             nohelp="false"
             nonavbar="false"
             serialwarn="false"
+             encoding="utf-8"
             charset="ISO-8859-1"
             linksource="false"
             breakiterator="false"/>