docs: public void setCharTranslator(CharacterTranslator charTranslator) {
  		if(charTranslator!=null){
  			this.charTranslator = charTranslator;
  			this.htmlElementTranslator = null;
  			this.targetTranslator = null;
  		}
  	}