jEditLauncher Logging

The jEditLauncher package has a logging facility that is separate from jEdit's Activity Log to provide a record of events occurring outside the Java virtual machine environment in which jEdit operates. The logging facility maintains two log files: jelaunch.log for events relating to starting jEdit, loading files and running scripts, and install.log for jEditLauncher installation activity. Both files are maintained in the directory in which jEdit is installed. They are cumulative from session to session, but may be manually deleted at any time without affecting program execution.