From 91fb96e7699ae2830b918923da981ca6d2a0c896 Mon Sep 17 00:00:00 2001
From: Simon Duquennoy <simon.duquennoy@ri.se>
Date: Thu, 16 Nov 2017 20:31:10 +0100
Subject: [PATCH] Javac: specify encoding

This is necessary for javac 1.8.0 openJDK to compile without getting stuck on special characters.
---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index c92bcb7..bf768e5 100644
--- a/build.xml
+++ b/build.xml
@@ -27,7 +27,7 @@
 
   <target name="compile" depends="init" description="compile the source">
     <javac srcdir="${src}" destdir="${build}" classpathref="classpath"
-           debug="${javac.debug}" includeantruntime="false">
+           debug="${javac.debug}" includeantruntime="false" encoding="utf-8">
       <compilerarg value="-Xlint:unchecked"/>
       <compilerarg value="-deprecation"/>
       <exclude name="tests/**" />