Eclipse/TeXlipseの名前を変更します。