if (r.substring() != null)
{
v.addElement(r.substring(i + offset));
- vi.addElement(Integer.valueOf(r.matchFrom(i + offset)
- + r.charsMatched(i + offset)));
+ vi.addElement(Integer.valueOf(
+ r.matchFrom(i + offset) + r.charsMatched(i + offset)));
}
}
pos = r.matchFrom() + r.charsMatched();