teiid/teiid-web-console — pull request #15 by heiko-braun (2012-10-22 08:16:45+00:00)
Title: GWT 2.5

Some API has been moved in GWT 2.5. This patch corrects the import statements.