private static String[] split(String s, int chr) {
Vector res = new Vector();
int curr;
int prev = 0;
while ((curr = s.indexOf(chr, prev)) >= 0) {
res.addElement(s.substring(prev, curr));
prev = curr + 1;
}
res.addElement(s.substring(prev));
String[] splitted = new String[res.size()];
res.copyInto(splitted);
return splitted;
}
Vector res = new Vector();
int curr;
int prev = 0;
while ((curr = s.indexOf(chr, prev)) >= 0) {
res.addElement(s.substring(prev, curr));
prev = curr + 1;
}
res.addElement(s.substring(prev));
String[] splitted = new String[res.size()];
res.copyInto(splitted);
return splitted;
}