Hm, that's sort of cheating :-) but it works for now. Thanks for the quick reply.
I would not mind contributing -- but I have no idea how to write an eclipse tool. How would you even start?
TDR
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community