- int i = 0;
- while(st.hasMoreTokens()) {
- String s2 = st.nextToken();
- if (!s2.equals("-")) font[i++] = s2;
+ v.setSize(0);
+ s = s.substring(s.indexOf('-') + 1);
+ while (s.indexOf('-') != -1) {
+ v.addElement(s.substring(0, s.indexOf('-')));
+ s = s.substring(s.indexOf('-') + 1);