The man who killed a former co-worker at the Empire State Building in New York was an active Gainesville High School student before graduating in 1971. Jeffrey Theodore Johnson participated in intramural athletics, the Pep Club and was the assistant art editor for the school newspaper, the “Trumpeter,” Superintendent Merrianne Dyer said in a press release Monday. The school’s enrollment was about 900 then, so “most of the students there at this time knew one another,” she said.