Use int instead of integer in @return annotations