diff --git a/CityDoctorParent/Extensions/CityDoctorZipLoader/src/main/java/de/hft/stuttgart/citydoctor2/ziploader/CityGmlArchive.java b/CityDoctorParent/Extensions/CityDoctorZipLoader/src/main/java/de/hft/stuttgart/citydoctor2/ziploader/CityGmlArchive.java index 9093a0bfd5fc870b6408c80436ced80a0d09393e..cdae92f03b5c97d7550cd9084b586a7ff5739302 100644 --- a/CityDoctorParent/Extensions/CityDoctorZipLoader/src/main/java/de/hft/stuttgart/citydoctor2/ziploader/CityGmlArchive.java +++ b/CityDoctorParent/Extensions/CityDoctorZipLoader/src/main/java/de/hft/stuttgart/citydoctor2/ziploader/CityGmlArchive.java @@ -10,6 +10,7 @@ import java.io.FileInputStream; import java.io.IOException; import java.io.Serial; +import java.io.Serializable; import java.nio.file.Path; import java.util.ArrayList; import java.util.List; @@ -18,7 +19,7 @@ import java.util.zip.ZipEntry; import java.util.zip.ZipFile; import java.util.zip.ZipInputStream; -public class CityGmlArchive { +public class CityGmlArchive implements Serializable { private static final Logger logger = LogManager.getLogger(CityGmlArchive.class);