even slower - that sounds bad ;)
You can change the editor by using Open With to use the one you want by default.
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community