}
}
public void propertyChange(PropertyChangeEvent evt) {
String propertyName = evt.getPropertyName();
CoordInfoFormatter newFormatter = (CoordInfoFormatter) evt.getNewValue();
if (propertyName.equals(CoordInfoFormatterHandler.FORMATTER_PROPERTY)) {
setCoordFormatter(newFormatter);
}
}