As used in this part, “community college” includes a junior college established prior to June 14, 1955.