public static void removeChangeListener(ChangeListener cl) {
   if (changeListeners.contains(cl)) {
     changeListeners.remove(cl);
   }
 }