HenshinEditor: improved edge layout