Added IntSet to gwt Module