Renamed Integer to Int.