+ 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);
+
+ // limit to iso8559 until we can do I18N properly....
+ if (font.length > 12) {
+ if (!font[12].equals("iso8859") && !font[12].equals("")) continue;
+ if (font.length < 14 || !font[13].equals("1")) continue;
+ }
+