From 0a98837bee819cfa53836a6904aafeed0ad2a72c Mon Sep 17 00:00:00 2001
From: nik <Nikolay.Chashnikov@jetbrains.com>
Date: Thu, 18 Jan 2018 13:24:54 +0300
Subject: [PATCH] maven libraries: canonicalize path to Maven repository
 (IDEA-185133)

---
 .../com/intellij/jarRepository/JarRepositoryManager.java   | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/java/idea-ui/src/com/intellij/jarRepository/JarRepositoryManager.java b/java/idea-ui/src/com/intellij/jarRepository/JarRepositoryManager.java
index f6331553bc89..6859a652fc5c 100644
--- a/java/idea-ui/src/com/intellij/jarRepository/JarRepositoryManager.java
+++ b/java/idea-ui/src/com/intellij/jarRepository/JarRepositoryManager.java
@@ -148,7 +148,12 @@ public class JarRepositoryManager {
     if (!MAVEN_REPOSITORY_MACRO.equals(expanded)) {
       repoPath = new File(expanded);
       if (repoPath.exists()) {
-        ourLocalRepositoryPath = repoPath;
+        try {
+          ourLocalRepositoryPath = repoPath.getCanonicalFile();
+        }
+        catch (IOException e) {
+          ourLocalRepositoryPath = repoPath;
+        }
         return repoPath;
       }
     }