a couple of new gwt widgets