Fix null-pointer dereference in Delta.java.

diff --git a/prod/net/jaekl/cfb/analyze/Delta.java b/prod/net/jaekl/cfb/analyze/Delta.java
index 865b5fce57fdbf7c9b21807616f4132ffd226752..fc8581253f4982ee7f125ed4d7042e6338236489 100644 (file)
--- a/prod/net/jaekl/cfb/analyze/Delta.java
+++ b/prod/net/jaekl/cfb/analyze/Delta.java
@@ -18,7 +18,12 @@ public class Delta {
        
        public Delta(Analysis before, Analysis after)
        {
        
        public Delta(Analysis before, Analysis after)
        {

-               m_earlier = new Run(before);
+               if (null == before) {
+                       m_earlier = null;
+               }
+               else {
+                       m_earlier = new Run(before);
+               }

                m_later = new Run(after);
                
                m_fixed = new HashSet<BugInstance>();
                m_later = new Run(after);
                
                m_fixed = new HashSet<BugInstance>();