I have filed this issue:
https://issues.jboss.org/browse/JBIDE-13524