From d8e97e6965659c4a86c3e0803b432d5c9a0f9054 Mon Sep 17 00:00:00 2001
From: Chris Jaekl <cejaekl@yahoo.com>
Date: Sun, 13 Dec 2015 20:09:38 +0900
Subject: [PATCH] Fix null-pointer dereference in Delta.java.

---
 prod/net/jaekl/cfb/analyze/Delta.java | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/prod/net/jaekl/cfb/analyze/Delta.java b/prod/net/jaekl/cfb/analyze/Delta.java
index 865b5fc..fc85812 100644
--- 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)
 	{
-		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>();
-- 
2.30.2