Edmund Burke Theatre, Arts Building,