keep eclipse happy