Ooops, overlooked that one (to much automation in eclipse sometimes).