Revert unnecessary change to GWTShellServlet, update Eclipse instructions
(more to come later), remove requirement for gwt.devjar setting (for now,
may have to add back for IE proxy setting), remove unused method now that
OOPHM is the only option.

Patch by: jat
Review by: amitmanjhi (TBR)


git-svn-id: https://google-web-toolkit.googlecode.com/svn/branches/farewellSwt@6177 8db76d5a-ed1c-0410-87a9-c151d255dfc7
6 files changed