Fix: Parsing of LibraryObjects in CityGmlZipArchive

CityDoctorParent/CityDoctorModel/src/main/java/de/hft/stuttgart/citydoctor2/mapper/citygml3/Citygml3FeatureMapper.java

@@ -823,7 +823,8 @@ public class Citygml3FeatureMapper extends ObjectWalker {
                 libObj = LibraryObject.of(libraryObjectPath, config);
             } else {
                 String libraryObjectPath = ig.getLibraryObject();
-                CityGmlZipEntry libEntry = zipEntry.getArchive().getEntry(libraryObjectPath);
+                Path loPath = zipEntry.resolveLibraryObjectPath(libraryObjectPath);
+                CityGmlZipEntry libEntry = zipEntry.getArchive().getEntry(loPath.toString());
                 libObj = LibraryObject.of(libEntry, config);
             }
             if (libObj != null) {

CityDoctorParent/CityDoctorModel/src/main/java/de/hft/stuttgart/citydoctor2/zip/CityGmlZipEntry.java

@@ -12,6 +12,7 @@ import org.apache.logging.log4j.Logger;
 import java.io.IOException;
 import java.io.Serial;
 import java.io.Serializable;
+import java.nio.file.Path;
 import java.util.zip.ZipEntry;
 
 public class CityGmlZipEntry implements Serializable {
@@ -20,6 +21,7 @@ public class CityGmlZipEntry implements Serializable {
     @Serial
     private static final long serialVersionUID = -5732913269959043262L;
 
+    private final Path filePath;
     private final String fileName;
     private final String displayName;
     private transient CityDoctorModel model;
@@ -91,8 +93,8 @@ public class CityGmlZipEntry implements Serializable {
 
     protected CityGmlZipEntry(ZipEntry entry, CityGmlZipArchive parentArchive, boolean decompressed) {
         this.fileName = entry.getName();
-        String[] nameSplits = fileName.split("/");
-        this.displayName = nameSplits[nameSplits.length - 1];
+        this.filePath = Path.of(entry.getName());
+        this.displayName = filePath.getFileName().toString();
         if (entry.getSize() != -1) {
             this.fileSize = entry.getSize();
         }
@@ -129,6 +131,10 @@ public class CityGmlZipEntry implements Serializable {
         fileSize = size;
     }
 
+    public Path resolveLibraryObjectPath(String libraryObjectPath) {
+        return filePath.getParent().resolve(libraryObjectPath);
+    }
+
     public boolean isDecompressed() {
         return decompressed;
     }