Julia Richman Education Complex, Formerly Julia Richman High School