@Override
 public void dispose() {
   if (changeableModel != null) {
     changeableModel.removeChangeListener(markListener);
   }
 }
 public void mark() {
   changeableModel.addChangeListener(markListener);
   markFile();
 }