public void handleEvent(Event e){
if(e.type == SWT.Modify){
if((m_store.getBoolean(IProperty.VERIFIED) == true) && (compare() == false)){
//System.out.println("Widget was modified");
m_store.setValue(IProperty.VERIFIED, false);
if(m_backup == null) m_backup = new PropertyStore(m_store);
}
}
}
};