Port of the chosen javascript plugin for Google Web Toolkit