diff --git a/core/typechecker/pom.xml b/core/typechecker/pom.xml
index 868b709ae7..9098850b2a 100644
--- a/core/typechecker/pom.xml
+++ b/core/typechecker/pom.xml
@@ -17,7 +17,7 @@
   <dependency>
 			<groupId>junit</groupId>
 			<artifactId>junit</artifactId>
-			<version>4.11</version>
+			<version>4.13.1</version>
 		</dependency>
   
     <dependency>