cast to make eclipse happy