private void updateChildName() {
   childName = child.getName();
 }
 public static void setAlignment(Widget widget, Alignment alignment) {
   widget.getProperties().put(ALIGNMENT_KEY, alignment);
 }
 private void updateRootName() {
   rootName = root.getName();
 }
 public static Alignment getAlignment(Widget widget) {
   return (Alignment) widget.getProperties().get(ALIGNMENT_KEY);
 }