Hej Jesper,
Yes, your conclusion is right and we actually already got it reported and it is fixed in the nightly builds.
https://issues.jboss.org/browse/JBIDE-7934
Until we get CR1 out you can use the nightly build to avoid this problem.
sorry for the problems!