server

The file named server only exists if the edit server is enabled and jEdit is running. The port number and authorization key is stored here. See Appendix D in the jEdit user guide for more information about the edit server.