From 6acb0f49de2e14a212efc1e5da44be7975d88fa8 Mon Sep 17 00:00:00 2001
From: "helmut.neemann" <helmut.neemann@arcor.de>
Date: Wed, 5 Dec 2018 12:35:00 +0100
Subject: [PATCH] fixed a weird maven build issue on Windows.

---
 .../neemann/digital/draw/library/ElementLibrary.java   | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/main/java/de/neemann/digital/draw/library/ElementLibrary.java b/src/main/java/de/neemann/digital/draw/library/ElementLibrary.java
index fb2f7992d..7ec474908 100644
--- a/src/main/java/de/neemann/digital/draw/library/ElementLibrary.java
+++ b/src/main/java/de/neemann/digital/draw/library/ElementLibrary.java
@@ -67,7 +67,7 @@ public class ElementLibrary implements Iterable<ElementLibrary.ElementContainer>
             return new File("noLibFound");
         }
         if (path.endsWith("/target/classes/"))
-            return new File(path.substring(0, path.length() - 16) + "/src/main/dig/lib");
+            return toCanonical(new File(path.substring(0, path.length() - 16) + "/src/main/dig/lib"));
         if (path.endsWith("/target/Digital.jar"))
             return new File(path.substring(0, path.length() - 19) + "/src/main/dig/lib");
         if (path.endsWith("Digital.jar"))
@@ -76,6 +76,14 @@ public class ElementLibrary implements Iterable<ElementLibrary.ElementContainer>
         return new File("noLibFound");
     }
 
+    private static File toCanonical(File file) {
+        try {
+            return file.getCanonicalFile();
+        } catch (IOException e) {
+            return file;
+        }
+    }
+
     private final HashMap<String, LibraryNode> map = new HashMap<>();
     private final HashSet<String> isProgrammable = new HashSet<>();
     private final ArrayList<LibraryListener> listeners = new ArrayList<>();