tree 67113e9ecaf4e75de8ecb46881601956a3c77852
parent f6d106cbe54e768c64693ddfc9a59dadfd546a1e
author bruce@google.com <bruce@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1234644288 +0000
committer bruce@google.com <bruce@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1234644288 +0000

Fixes broken build introduced in last commit by adding a seemingly unnecessary cast; JDT doesn't need it, but javac breaks without it. This needs Scott to come back and verify the change.

Review by: scottb (TBR)

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