zoneHeight.setValue(zone.getHeight());
}
protected void buildPropertiesAndDispose() {
// Make sure the changes to the object can be undone
undoSupport.postEdit(new ChangeZoneEdit(zone));
zone.setName(zoneName.getText());
zone.setWidth(zoneWidth.intValue());
zone.setHeight(zoneHeight.intValue());