From d18b6164c24a7efb2f722677ba75f366d07f0707 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 3 Jul 2024 18:13:35 +0200
Subject: [PATCH] Set explicit source file encoding in parent pom.xml

Fixes Maven warnings about using the platform default encoding.
---
 org.eventb.texteditor.parent/pom.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml
index f14c58e..2f46185 100644
--- a/org.eventb.texteditor.parent/pom.xml
+++ b/org.eventb.texteditor.parent/pom.xml
@@ -9,6 +9,9 @@
 	<packaging>pom</packaging>
 
 	<!-- this is the parent POM from which all modules inherit common settings -->
+	<properties>
+		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
+	</properties>
 
 	<repositories>
 		<!-- configure p2 repository to resolve against -->
-- 
GitLab