Public key no longer available at keyserver.ubuntu.com?

Hi

Trying to add jEdit repository to a Ubuntu machine. However the public key to the repository is not available at "keyserver.ubuntu.com" (by manually search), so the command:

sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys E6A233DBE3AFBEFC

fails.

Has the key got a new identifier, that should be listed in the http://www.jedit.org/index.php?page=download page under "Debian Linux" type operating systems, or is something else wrong?

Michael

=== MICROELECTRONICS TECHNOLOGY INC. ===
This message (and any attachments) may contain information that is confidential, proprietary, privileged or otherwise protected by law. The message is intended solely for the named addressee (or a person responsible for delivering it to the addressee). If you are not the intended recipient of this message, you are not authorized to read, print, retain, copy or disseminate this message or any part of it. If you have received this message in error, please destroy the message or delete it from your system immediately and notify the sender.

-- 
-----------------------------------------------
jEdit Users' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-users