Fix development mode Firefox plugin to work on with Firefox 15 on Linux.
Tested with 64-bit linux. Now builds 32-bit Linux for 15, but that's not
tested yet.

Review at http://gwt-code-reviews.appspot.com/1817803

Review by: acleung@google.com

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