From 67ec092f3a62ac4017ff32bf417b0a34ad221431 Mon Sep 17 00:00:00 2001
From: Luca Frosini <luca.frosini@isti.cnr.it>
Date: Fri, 6 Dec 2019 12:16:06 +0100
Subject: [PATCH] Fixed pom

---
 pom.xml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/pom.xml b/pom.xml
index 8d6761a..5bbc2e2 100644
--- a/pom.xml
+++ b/pom.xml
@@ -17,6 +17,11 @@
 		In such a way any plugin developer does not have to deal with dependencies conflicts and provided dependencies. 
 	</description>
 	
+	<properties>
+		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
+		<serviceClass>VREManagement</serviceClass>
+	</properties>
+	
 	<dependencyManagement>
 		<dependencies>
 			<dependency>