diff --git a/pom.xml b/pom.xml
index 5234a0031..7b53d2fd7 100644
--- a/pom.xml
+++ b/pom.xml
@@ -7,7 +7,7 @@
     <groupId>org.tzi.use</groupId>
     <artifactId>use</artifactId>
     <packaging>pom</packaging>
-    <version>7.1.0</version>
+    <version>7.1.1</version>
     <modules>
         <module>use-core</module>
         <module>use-gui</module>
diff --git a/use-assembly/pom.xml b/use-assembly/pom.xml
index b5831501d..918bb56ed 100644
--- a/use-assembly/pom.xml
+++ b/use-assembly/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <artifactId>use</artifactId>
         <groupId>org.tzi.use</groupId>
-        <version>7.1.0</version>
+        <version>7.1.1</version>
     </parent>
     <modelVersion>4.0.0</modelVersion>
 
diff --git a/use-core/pom.xml b/use-core/pom.xml
index 9305a9232..e2581b4f6 100644
--- a/use-core/pom.xml
+++ b/use-core/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <artifactId>use</artifactId>
         <groupId>org.tzi.use</groupId>
-        <version>7.1.0</version>
+        <version>7.1.1</version>
     </parent>
     <modelVersion>4.0.0</modelVersion>
 
diff --git a/use-core/src/main/java/org/tzi/use/analysis/coverage/AbstractCoverageVisitor.java b/use-core/src/main/java/org/tzi/use/analysis/coverage/AbstractCoverageVisitor.java
index 1af32bdf0..8773b59b6 100644
--- a/use-core/src/main/java/org/tzi/use/analysis/coverage/AbstractCoverageVisitor.java
+++ b/use-core/src/main/java/org/tzi/use/analysis/coverage/AbstractCoverageVisitor.java
@@ -19,11 +19,11 @@
 
 package org.tzi.use.analysis.coverage;
 
-import java.util.Stack;
-
 import org.tzi.use.uml.mm.*;
 import org.tzi.use.uml.ocl.expr.*;
 
+import java.util.Stack;
+
 /**
  * Abstract visitor implementation.
  * 
diff --git a/use-core/src/main/java/org/tzi/use/config/Options.java b/use-core/src/main/java/org/tzi/use/config/Options.java
index 254ae209f..40920dfdc 100644
--- a/use-core/src/main/java/org/tzi/use/config/Options.java
+++ b/use-core/src/main/java/org/tzi/use/config/Options.java
@@ -29,10 +29,7 @@
 import java.net.URI;
 import java.net.URISyntaxException;
 import java.net.URL;
-import java.nio.file.Files;
-import java.nio.file.InvalidPathException;
-import java.nio.file.Path;
-import java.nio.file.Paths;
+import java.nio.file.*;
 import java.util.LinkedList;
 import java.util.List;
 import java.util.prefs.Preferences;
@@ -45,7 +42,7 @@
 public class Options {
 
     // the release version
-    public static final String RELEASE_VERSION = "7.1.0";
+    public static final String RELEASE_VERSION = "7.1.1";
 
     // the copyright
     public static final String COPYRIGHT = "Copyright (C) 1999-2024 University of Bremen & " +
@@ -86,9 +83,9 @@ public class Options {
      */
     public static String USE_HISTORY_PATH = ".use_history";
 
-    public static String LINE_SEPARATOR = System.getProperty("line.separator");
+    public static String LINE_SEPARATOR = System.lineSeparator();
 
-	public static String FILE_SEPARATOR = System.getProperty("file.separator");
+	public static String FILE_SEPARATOR = FileSystems.getDefault().getSeparator();
 
     /**
      * Name of the property giving the path to the monitor aspect template.
@@ -302,8 +299,8 @@ private static void printHelp() {
 	 */
 	public static void resetOptions() {
 		USE_HISTORY_PATH = ".use_history";
-		LINE_SEPARATOR = System.getProperty("line.separator");
-		FILE_SEPARATOR = System.getProperty("file.separator");
+		LINE_SEPARATOR = System.lineSeparator();
+		FILE_SEPARATOR = FileSystems.getDefault().getSeparator();
 		MONITOR_ASPECT_TEMPLATE = null;
 		homeDir = null;
 		compileOnly = false;
@@ -318,12 +315,12 @@ public static void resetOptions() {
 		explicitVariableDeclarations = true;
 		checkTransitions = true;
 		checkStateInvariants = false;
-		WarningType checkWarningsOclAnyInCollections = WarningType.WARN;
-		WarningType checkWarningsUnrelatedTypes = WarningType.WARN;
+		checkWarningsOclAnyInCollections = WarningType.WARN;
+		checkWarningsUnrelatedTypes = WarningType.WARN;
 		doPLUGIN = true;
 		pluginDir = null;
 		fDiagramDimension = new Dimension( 600, 600 );
-		TypedProperties props = null;
+		props = null;
 		specFilename = null;
 		cmdFilename = null;
 		lastDirectory = Paths.get(System.getProperty("user.dir"));
diff --git a/use-gui/pom.xml b/use-gui/pom.xml
index 71680a2bd..b8c5f0234 100644
--- a/use-gui/pom.xml
+++ b/use-gui/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <artifactId>use</artifactId>
         <groupId>org.tzi.use</groupId>
-        <version>7.1.0</version>
+        <version>7.1.1</version>
     </parent>
     <modelVersion>4.0.0</modelVersion>