From 8c1bd3505913b35088654774e9be5db996259aee Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 7 Jan 2010 08:51:51 +0000
Subject: [PATCH] Imported label files can have blank lines (explicit lib).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1670 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/ModelChecker.java | 23 ++++++++++++++---------
 1 file changed, 14 insertions(+), 9 deletions(-)

diff --git a/prism/src/explicit/ModelChecker.java b/prism/src/explicit/ModelChecker.java
index 4010ec23..839f659f 100644
--- a/prism/src/explicit/ModelChecker.java
+++ b/prism/src/explicit/ModelChecker.java
@@ -291,15 +291,20 @@ public class ModelChecker
 			// Parse remaining lines
 			s = in.readLine();
 			while (s != null) {
-				ss = s.split(":");
-				i = Integer.parseInt(ss[0].trim());
-				ss = ss[1].trim().split(" ");
-				for (j = 0; j < ss.length; j++) {
-					if (ss[j].length() == 0)
-						continue;
-					k = Integer.parseInt(ss[j]);
-					// Store label info
-					bitsets[k].set(i);
+				// Skip blank lines
+				s = s.trim();
+				if (s.length() > 0) {
+					// Split line
+					ss = s.split(":");
+					i = Integer.parseInt(ss[0].trim());
+					ss = ss[1].trim().split(" ");
+					for (j = 0; j < ss.length; j++) {
+						if (ss[j].length() == 0)
+							continue;
+						k = Integer.parseInt(ss[j]);
+						// Store label info
+						bitsets[k].set(i);
+					}
 				}
 				// Prepare for next iter
 				s = in.readLine();