Merge pull request #1 from gwtproject/master#1

andrestesti wants to merge 1 commit intogwtproject:mastergwtproject/gwt:masterfrom

andrestesti:masterCopy head branch name to clipboard