Added IntSet to gwt Module
Merge pull request #760 from hneuer/gwtintset

Added IntSet to gwt Module