} else { if (this.characterEncoding != Encoding.UTF8) { errorWithoutLocation("Legacy encoding \u201C" + this.characterEncoding.getCanonName() + "\u201D used. Documents must use UTF-8.");
} else { if (this.characterEncoding != Encoding.UTF8) { errorWithoutLocation("Legacy encoding \u201C" + this.characterEncoding.getCanonName() + "\u201D used. Documents must use UTF-8.");