gatein/gatein-portal — pull request #711 by nscavell (2013-12-02 18:03:59+00:00)
Title: Remove gwt-gadget

Let's remove this stupid thing once and for all.