The JED text editor
