Eclipse Plugin Text Modification