From 1e648444424d02add9822030c50cc6f4210772e1 Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Fri, 21 Jul 2017 16:31:44 +0200
Subject: [PATCH] simplified the origin book keeping

---
 .../de/neemann/digital/core/ExceptionWithOrigin.java   | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/src/main/java/de/neemann/digital/core/ExceptionWithOrigin.java b/src/main/java/de/neemann/digital/core/ExceptionWithOrigin.java
index f871e1398..7bb845b25 100644
--- a/src/main/java/de/neemann/digital/core/ExceptionWithOrigin.java
+++ b/src/main/java/de/neemann/digital/core/ExceptionWithOrigin.java
@@ -62,9 +62,13 @@ public class ExceptionWithOrigin extends Exception {
      * @return the origin of the error
      */
     public Set<File> getOrigin() {
-        HashSet<File> s = new HashSet<>();
-        s.add(origin);
-        return s;
+        if (origin == null)
+            return null;
+        else {
+            HashSet<File> os = new HashSet<>();
+            os.add(origin);
+            return os;
+        }
     }
 
     /**