removed protege catalog file from repository