Ah... I didn't check it in 3.1.0.GA actually. So Denis is right and it wasn't fixed for 3.1, but you can try a nightly build if this fix is critical for you.
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community