Thanks for the replies.
Yes it would be really nice if all this would be fixed soon. I have voted for the feature request.
Regards,
Ulrich
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community