#vulnerable code 
                             @Ignore  // May not be guaranteed behavior
	public void TestComma() throws IOException {
		//int [] recordBreaks = new int[] { 0, 57, 111, ,  };
		int[] rslt = getRecordIndexesInReader(getReaderFor("unenclosed-json-comma.json", 0, 222), true);
		Assert.assertEquals(4, rslt.length);
		int[] before = null, after = null;
		before = getRecordIndexesInReader(getReaderFor("unenclosed-json-comma.json", 0, 56), true);
		after = getRecordIndexesInReader(getReaderFor("unenclosed-json-comma.json", 56, 222), true);
		Assert.assertEquals(4, before.length + after.length);
		before = getRecordIndexesInReader(getReaderFor("unenclosed-json-comma.json", 0, 57), true);
		after = getRecordIndexesInReader(getReaderFor("unenclosed-json-comma.json", 57, 222), true);
		Assert.assertEquals(4, before.length + after.length);
		before = getRecordIndexesInReader(getReaderFor("unenclosed-json-comma.json", 0, 58), true);
		after = getRecordIndexesInReader(getReaderFor("unenclosed-json-comma.json", 58, 222), true);
		Assert.assertEquals(4, before.length + after.length);
	} 
                            #location 7 
                            #vulnerability type RESOURCE_LEAK
#fixed code
                             @Ignore  // May not be guaranteed behavior
	public void TestComma() throws Exception {
		//int [] recordBreaks = new int[] { 0, 57, 111, ,  };
		int[] rslt = getRecordIndexesInReader(getReaderFor("unenclosed-json-comma.json", 0, 222), true);
		Assert.assertEquals(4, rslt.length);
		int[] before = null, after = null;
		before = getRecordIndexesInReader(getReaderFor("unenclosed-json-comma.json", 0, 56), true);
		after = getRecordIndexesInReader(getReaderFor("unenclosed-json-comma.json", 56, 222), true);
		Assert.assertEquals(4, before.length + after.length);
		before = getRecordIndexesInReader(getReaderFor("unenclosed-json-comma.json", 0, 57), true);
		after = getRecordIndexesInReader(getReaderFor("unenclosed-json-comma.json", 57, 222), true);
		Assert.assertEquals(4, before.length + after.length);
		before = getRecordIndexesInReader(getReaderFor("unenclosed-json-comma.json", 0, 58), true);
		after = getRecordIndexesInReader(getReaderFor("unenclosed-json-comma.json", 58, 222), true);
		Assert.assertEquals(4, before.length + after.length);
	}