Good point. I don't see why I would need to do so either (this is something I've inherited from the JDT support - and I believe you sort of expected it was by mistake ;-))