Make eclipse happy