This patch adds identifiers that cause loading of the java plugin in the
browser to the blacklist of identifiers that must not be used in the generated
javascript

Patch by: amitmanjhi
Review by: jgw (desk review)



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