King’s main academic building housed a cafeteria which was closed down in the 1980s, district officials said, leaving students with no place to eat lunch and paving the way for a new dining commons.