From 37207d67abbc13fc8360fb9a7768af30dde25548 Mon Sep 17 00:00:00 2001
From: Andreas Huber <bitbucket@lucares.de>
Date: Sun, 25 Nov 2018 07:29:29 +0000
Subject: [PATCH] use utf-8 as resource encoding

---
 build.gradle                             | 15 ++++++++++++++-
 eclipse/org.eclipse.core.resources.prefs |  2 ++
 2 files changed, 16 insertions(+), 1 deletion(-)
 create mode 100644 eclipse/org.eclipse.core.resources.prefs

diff --git a/build.gradle b/build.gradle
index c8f948c..8d24eac 100644
--- a/build.gradle
+++ b/build.gradle
@@ -46,7 +46,6 @@ subprojects {
 	// java compatibility version
 	sourceCompatibility = 11
 	
-
 	configurations {
 		tests
 	}
@@ -70,6 +69,20 @@ subprojects {
 	}
 }
 
+allprojects {
+ 	compileJava.options.encoding = 'UTF-8'
+ 	
+ 	eclipseJdt.doLast {
+	    File f = file('.settings/org.eclipse.core.resources.prefs')
+	    f.write('eclipse.preferences.version=1\n')
+	    f.append('encoding/<project>=UTF-8')
+	}
+	
+	cleanEclipse.doLast {
+		file('.settings/org.eclipse.core.resources.prefs').delete()
+	}
+}
+
 task wrapper(type: Wrapper) {
     gradleVersion = '4.10.2'
 }
diff --git a/eclipse/org.eclipse.core.resources.prefs b/eclipse/org.eclipse.core.resources.prefs
new file mode 100644
index 0000000..4824b80
--- /dev/null
+++ b/eclipse/org.eclipse.core.resources.prefs
@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+encoding/<project>=UTF-8