From 1bdb4ad285e7c6e1fab46aa36a7b22649e158b33 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 9 Apr 2013 12:03:11 +0000
Subject: [PATCH] Bugfix: prism.buildNumber should default to "" not null.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6678 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/Prism.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 58db3f9f..a3934136 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -56,7 +56,7 @@ public class Prism implements PrismSettingsListener
 	private static String versionSuffix = prism.Version.versionSuffixString;
 	
 	/** Build number (e.g. "r6667"). Defaults to "" (undefined), read from prism.Revision class if present. */
-	private static String buildNumber = null;
+	private static String buildNumber = "";
 	static {
 	    try {
 	    	buildNumber = Prism.class.getClassLoader().loadClass("prism.Revision").getField("svnRevision").get(null).toString();