eclipse did strange things with the »