Editors for Henshin 0.9.5