Minor fixes

2022-11-22 18:46:05 +01:00 · 2022-11-22 18:46:05 +01:00 · 6d1d80d022
parent e8a108d89f
commit 6d1d80d022
1 changed files with 1 additions and 2 deletions
--- 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
        }