Prof. Davis' software is Jed. Slava Pestov's is Jedit. All is good.