+ 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);
+ }
+ v.addElement(s);
+ String[] font = new String[v.size()];
+ v.copyInto(font);