Merge branch 'develop'

Author: Gerald Unterrainer

pom.xml

@@ -10,7 +10,7 @@
 
 	<modelVersion>4.0.0</modelVersion>
 	<artifactId>jre-utils</artifactId>
-	<version>0.1.11</version>
+	<version>0.1.12</version>
 	<name>JreUtils</name>
 	<packaging>jar</packaging>
 

src/main/java/info/unterrainer/commons/jreutils/DoubleBufferedFile.java

@@ -133,6 +133,10 @@ public void delete() throws IOException {
 		path2.delete();
 	}
 
+	public boolean exists() {
+		return path1.exists() || path2.exists();
+	}
+
 	public LocalDateTime getNewestModifiedTime() {
 		if (path1.modified() == null && path2.modified() == null)
 			return null;