HenshinTGG: removed examples from editor plugin