From 27d6adf722bb9437470e75d5d7e27536586439ec Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Tue, 13 Oct 2020 20:57:33 +0000
Subject: [PATCH] Bump junit from 4.12 to 4.13.1 in /richedit

Bumps [junit](https://github.com/junit-team/junit4) from 4.12 to 4.13.1.
- [Release notes](https://github.com/junit-team/junit4/releases)
- [Changelog](https://github.com/junit-team/junit4/blob/main/doc/ReleaseNotes4.12.md)
- [Commits](https://github.com/junit-team/junit4/compare/r4.12...r4.13.1)

Signed-off-by: dependabot[bot] <support@github.com>
---
 richedit/pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 mode change 100755 => 100644 richedit/pom.xml

diff --git a/richedit/pom.xml b/richedit/pom.xml
old mode 100755
new mode 100644
index 002dafd..8129536
--- a/richedit/pom.xml
+++ b/richedit/pom.xml
@@ -22,7 +22,7 @@
 		<logback.version>1.1.2</logback.version>
 		<slf4j-api.version>1.7.7</slf4j-api.version>
 		<gumtree.version>2.0.0-SNAPSHOT</gumtree.version>
-		<junit.version>4.12</junit.version>
+		<junit.version>4.13.1</junit.version>
 		<redis.version>2.8.1</redis.version>
 		<commons.version>1.3</commons.version>
 		<commons-io.version>2.4</commons-io.version>