A "Next Generation" version of the editor Jreepad