Zeichenkodierung sollte im Code vorgegeben werden
In PuA wird an einigen Stellen die Default-Zeichenkodierung zum Einlesen von Scripten usw. verwendet. Das sorgt teilweise für Probleme, weil unter anderem der Antlr-Parser diese zwingend als ISO-8859-1 benötigt.