you might proceed as follows: open a Terminal window and type in sequence:
gpg --keyserver keyserver.ubuntu.com --recv-key E084DAB9
gpg -a --export E084DAB9 | sudo apt-key add -
gksudo gedit...