From a6c9c5840f9942c89a7318c6ea7cced0de058345 Mon Sep 17 00:00:00 2001
From: Eugen Paraschiv <hanriseldon@gmail.com>
Date: Sat, 24 Nov 2018 13:36:27 +0200
Subject: [PATCH] disabling unnecessary repo

---
 libraries/pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/libraries/pom.xml b/libraries/pom.xml
index 8ffd33272d..936e86873d 100644
--- a/libraries/pom.xml
+++ b/libraries/pom.xml
@@ -720,11 +720,11 @@
     </dependencies>
 
     <repositories>
-        <repository>
+        <!-- <repository>
             <id>maven2-repository.dev.java.net</id>
             <name>Java.net repository</name>
             <url>http://download.java.net/maven/2</url>
-        </repository>
+        </repository> -->
         <repository>
             <snapshots>
                 <enabled>false</enabled>