The JED text editor