Fix an eclipse warning