From b28d49092ec1a54ac9db180138ba483980a9a665 Mon Sep 17 00:00:00 2001
From: TheE <thee@online.de>
Date: Wed, 2 Aug 2017 17:03:35 +0200
Subject: [PATCH] Make jansi an optional dependency in pom.xml

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

diff --git a/pom.xml b/pom.xml
index f27acd1..4d95eff 100644
--- a/pom.xml
+++ b/pom.xml
@@ -73,6 +73,7 @@
       <artifactId>jansi</artifactId>
       <version>1.11</version>
       <scope>provided</scope>
+      <optional>true</optional>
     </dependency>
   </dependencies>
   <!-- Build behavior -->