Implements a ${gwt_devjar} string substitution for launch configs. Individual users can therefore configure their own value, and it can vary across workspaces / branches.


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