Updating the Gwt Developer Plugin for IE to use the latest terminology, and be headless.

Patch by: jlabanca
Review by: cramsdale

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