Responding to changes in gwtbootstrap3-extras with renaming of DateTimeBox -> DateTimePicker