From 6d1d80d02287e13e28150c865035c0edfc66ffb1 Mon Sep 17 00:00:00 2001
From: Claudio Maggioni <maggicl@usi.ch>
Date: Tue, 22 Nov 2022 18:46:05 +0100
Subject: [PATCH] Minor fixes

---
 .../java/com/github/dtschust/zork/parser/ZorkXMLParser.java    | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/main/java/com/github/dtschust/zork/parser/ZorkXMLParser.java b/src/main/java/com/github/dtschust/zork/parser/ZorkXMLParser.java
index a03f7cf..1e1d6d7 100644
--- a/src/main/java/com/github/dtschust/zork/parser/ZorkXMLParser.java
+++ b/src/main/java/com/github/dtschust/zork/parser/ZorkXMLParser.java
@@ -37,9 +37,8 @@ public class ZorkXMLParser extends ZorkParser {
 
             final Element rootElement = builder.newDocumentBuilder().parse(file).getDocumentElement();
             return DOMElement.of(rootElement);
-        } catch (final Exception e) {
+        } catch (final Exception ignored) {
             System.out.println("Invalid XML file, exiting");
-            e.printStackTrace();
             System.exit(-1);
             return null; // never reached
         }