Changed resource path (michael)
diff --git a/src/main/java/de/ids_mannheim/korap/KorapIndex.java b/src/main/java/de/ids_mannheim/korap/KorapIndex.java
index 8d5b93d..bfd6c94 100644
--- a/src/main/java/de/ids_mannheim/korap/KorapIndex.java
+++ b/src/main/java/de/ids_mannheim/korap/KorapIndex.java
@@ -154,7 +154,7 @@
{
Properties prop = new Properties();
- URL file = getClass().getResource("/index.properties");
+ URL file = getClass().getClassLoader().getResource("index.properties");
if (file != null) {
String f = file.getFile();