encode = encode.substring(0, pos);
}
ObjectFormatter formatter = null;
if (encode.equalsIgnoreCase(ENCODER_HTML) || encode.equalsIgnoreCase(ENCODER_XML)) {
formatter = new EncodingFormatter(encode);
}
else if (encode.equalsIgnoreCase(ENCODER_RTF)) {
formatter = new RTFEncodingFormatter(flags);
}
else if (encode.equalsIgnoreCase(ENCODER_RTFSYSTEM)) {