TGG and Henshin Editor for Henshin 0.9.5