diff --git a/DEVELOPERS b/DEVELOPERS index e33a2943f83..ce33c7f77ec 100644 --- a/DEVELOPERS +++ b/DEVELOPERS @@ -1,8 +1,8 @@ Oliver Kopp (since 2011) Simon Harrer (since 2014) -Joerg Lenhard (since 2015) -Stefan Kolb (since 2015) +Jörg Lenhard (since 2015) +Stefan Kolb (since 2015) Matthias Geiger (since 2015) Oscar Gustafsson (since 2015) -Tobias Diez (since 2015) +Tobias Diez (since 2015) Christoph Schwentker (since 2016) diff --git a/build.gradle b/build.gradle index 75f408406aa..87a19977d73 100644 --- a/build.gradle +++ b/build.gradle @@ -48,6 +48,7 @@ install4j { installDir = file(project.ext.install4jDir) } + repositories { jcenter() } @@ -151,9 +152,9 @@ processResources { "year": String.valueOf(Calendar.getInstance().get(Calendar.YEAR)), "authors": new File('AUTHORS').readLines().findAll { !it.startsWith("#") }.join(", "), "developers": new File('DEVELOPERS').readLines().findAll { !it.startsWith("#") }.join(", ")) - filteringCharset = 'UTF-8' } + filteringCharset = 'UTF-8' filesMatching("resource/**/meta.xml") { expand version: project.version diff --git a/src/main/java/net/sf/jabref/logic/util/BuildInfo.java b/src/main/java/net/sf/jabref/logic/util/BuildInfo.java index 6a29d83a1ec..2fda1d53ab1 100644 --- a/src/main/java/net/sf/jabref/logic/util/BuildInfo.java +++ b/src/main/java/net/sf/jabref/logic/util/BuildInfo.java @@ -2,6 +2,8 @@ import java.io.IOException; import java.io.InputStream; +import java.io.InputStreamReader; +import java.nio.charset.StandardCharsets; import java.util.Properties; public class BuildInfo { @@ -18,6 +20,7 @@ public class BuildInfo { private final String developers; private final String year; + public BuildInfo() { this("/build.properties"); } @@ -25,9 +28,11 @@ public BuildInfo() { public BuildInfo(String path) { Properties properties = new Properties(); - try (InputStream stream = getClass().getResourceAsStream(path)) { - if(stream != null) { - properties.load(stream); + try (InputStream stream = BuildInfo.class.getResourceAsStream(path)) { + if (stream != null) { + try (InputStreamReader reader = new InputStreamReader(stream, StandardCharsets.UTF_8)) { + properties.load(reader); + } } } catch (IOException ignored) { // nothing to do -> default already set