The JED editor home page has moved to http://www.jedsoft.org/jed/. Please make a note of this change.