public abstract void replaceText(String text, int start_pos, int end_pos);
void replaceText(String text, int start_pos, int end_pos);
public abstract void replaceText(String text, int start_pos, int end_pos);