attributes.putAttribute(token.substring(0, pos), token.substring(pos + 1));
attributes.put(token.substring(0, pos), token.substring(pos + 1));
    public AttributeSet makeAttributeSet(String string) {        AttributeSet attributes = new SimpleAttributeSet();        StringTokenizer tokens = new StringTokenizer(string, ";");        while (tokens.hasMoreTokens()) {            String token = tokens.nextToken();            int pos = token.indexOf(":");            if (pos >= 0) {                attributes.putAttribute(token.substring(0, pos),                                         token.substring(pos + 1));            }        }        return attributes;    }