From e7626cebff8c28e66434b1135f04c4c5bd7add10 Mon Sep 17 00:00:00 2001
From: Kui LIU <brucekuiliu@gmail.com>
Date: Mon, 24 Jul 2017 09:44:02 +0200
Subject: [PATCH] Fix the bug of ArrayIndexOutOfBoundsException.

---
 src/main/java/edu/lu/uni/serval/FixPatternMiner/Miner.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/main/java/edu/lu/uni/serval/FixPatternMiner/Miner.java b/src/main/java/edu/lu/uni/serval/FixPatternMiner/Miner.java
index 524af00..9551e69 100644
--- a/src/main/java/edu/lu/uni/serval/FixPatternMiner/Miner.java
+++ b/src/main/java/edu/lu/uni/serval/FixPatternMiner/Miner.java
@@ -231,6 +231,9 @@ public class Miner {
 					String lineNum = line.substring(4);
 					lineNum = lineNum.substring(0, lineNum.indexOf(" "));
 					String[] nums = lineNum.split(",");
+					if (nums.length != 2) {
+						continue;
+					}
 					startLine = Integer.parseInt(nums[0].trim());
 					range = Integer.parseInt(nums[1].trim());
 					if (startLine > startLineNum) {