Merging in plugin changes that should have gone into trunk to begin with.

$ svn merge --ignore-ancestry -r 6253:6256 https://google-web-toolkit.googlecode.com/svn/branches/farewellSwt/ .


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@6262 8db76d5a-ed1c-0410-87a9-c151d255dfc7