ISSUE #36: hour format character mismatch between gwt DateTimeFormat and bootstrap DateTimePicker