Condolences for the family of Judge Robert Frank Allen