ALTER TABLE `ports` CHANGE `port_label_short` `port_label_short` VARCHAR(16) NOT NULL DEFAULT '';
