patch to GWT Widget Library 0.1.3 (patch -p1 <patch)