public static void dump(AttributedCharacterIterator s, java.io.PrintStream out) {
	int cl = 0;
	Map<? extends Attribute, ?> attrs = null;
	for(int i = s.getBeginIndex(); i < s.getEndIndex(); i++) {
	    char c = s.setIndex(i);
	    if(i >= cl) {
		attrs = s.getAttributes();
		out.println();
		out.println(attrs);
		cl = s.getRunLimit();
	    }
	    out.print(c);
	}
	out.println();
    }