if (mce.getMessageChangeType() == MessageChangedEvent.FLAGS_CHANGED) {
mi.refreshFlags();
} else if (mce.getMessageChangeType() == MessageChangedEvent.ENVELOPE_CHANGED) {
mi.refreshHeaders();
}
mp.unloadTableInfo();
mp.loadTableInfo();
}
}
} catch (MessagingException me) {
// if we catch a MessagingException, it just means