Fix gui-widgets for changed API of DateTools