@Override
public void propertyChange(PropertyChangeEvent evt) {
	
	if (programExit) 
		   if (evt.getPropertyName().equals("state")&& (evt.getNewValue()).toString().equals("DONE")){
			   System.exit(0);
	   }
	if (makeNewDocument)
	   if (evt.getPropertyName().equals("state")&& (evt.getNewValue()).toString().equals("DONE")){
		   initNewDocument(); 
   }
			
}