Updated koral version

Change-Id: I5407ed70c74a0cc338de56e5bbb6c78cc831379a
diff --git a/core/pom.xml b/core/pom.xml
index 11d8560..abe02bb 100644
--- a/core/pom.xml
+++ b/core/pom.xml
@@ -233,7 +233,7 @@
 		<dependency>
 			<groupId>de.ids_mannheim.korap</groupId>
 			<artifactId>Koral</artifactId>
-			<version>0.30</version>
+			<version>0.31</version>
 			<exclusions>
 				<exclusion>
 					<groupId>org.eclipse.jetty</groupId>