From 95532cff2a299b8388441588f22728416691362e Mon Sep 17 00:00:00 2001
From: Damien Goutte-Gattat <dgouttegattat@incenp.org>
Date: Tue, 17 Sep 2024 22:45:27 +0100
Subject: [PATCH] Use system proxy settings.

The resolver for 'identifiers.org' uses the Apache HTTP client, which by
default does not honor the JVM proxy settings. This commit updates the
resolver to force the client to use said settings.

closes #1231
---
 .../editor/owl/model/identifiers/IdentifiersDotOrg.java       | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/protege-editor-owl/src/main/java/org/protege/editor/owl/model/identifiers/IdentifiersDotOrg.java b/protege-editor-owl/src/main/java/org/protege/editor/owl/model/identifiers/IdentifiersDotOrg.java
index 43b9ce497..9a9e3db9e 100644
--- a/protege-editor-owl/src/main/java/org/protege/editor/owl/model/identifiers/IdentifiersDotOrg.java
+++ b/protege-editor-owl/src/main/java/org/protege/editor/owl/model/identifiers/IdentifiersDotOrg.java
@@ -140,8 +140,6 @@ public List<IdoNamespace> getCollections() {
 
     @Nonnull
     private static HttpClient createClient() {
-        return HttpClientBuilder.create().build();
-
-
+        return HttpClientBuilder.create().useSystemProperties().build();
     }
 }