Re-add gpg extension
Use single quotes where possible
Name extension more appropriately
Use single quotes where possible
Upgrade to the latest version of GWT to avoid work-around required when javadocing GWT code