john devlin