make eclipse happy