jEdit

echo "deb http://switch.dl.sourceforge.net/project/jedit /" >> /etc/apt/sources.list.d/jedit.list
apt-key adv --keyserver keyserver.ubuntu.com --recv-keys E6A233DBE3AFBEFC
apt-get update
apt-get install jedit