[ jEdit-users ] Can't upgrade jEdit

[Jim B. <jf_...@co...>]

Is the info on this page http://www.jedit.org/index.php?page=download 
regarding Ubuntu users still valid?  I have been trying to upgrade from 
5.1 to 5.3 but get the following errors.

Reading package lists... Done
W: Failed to fetch
http://switch.dl.sourceforge.net/project/jedit/InRelease

W: Failed to fetch
http://switch.dl.sourceforge.net/project/jedit/Release.gpg  Could not
resolve 'switch.dl.sourceforge.net'

W: Some index files failed to download. They have been ignored, or old
ones used instead.

Thanks,  Jim