Max,
An updated version of the fragment is here [1].
It is currently residing in the designer codebase for convenience so it should only need
to be moved
and have its name updated.
If you can point me to the repo where it would be located, I can do the move and create a
pull request.
Cheers
PGR
[1]
https://github.com/phantomjinx/teiid-designer/commit/dc027755848fb2a3ceaa...