private void setMessages(DefaultStyledDocument doc) {
for(
Iterator<View> i = (Iterator<View>)scenery.getDocument().getViewIterator();
i.hasNext();
) {
View view = i.next();
if(view instanceof it.uniroma1.dptu.stan.gui.View)
((it.uniroma1.dptu.stan.gui.View)view).setMessages(doc);
}
}