I would like to prepare a version of JEdit that my students could use right away, without having to install the necessary plugins and changing many settings. Is there a "clean" way of doing this, i.e. something that would be cross-platform and could be distributed publicly, not just to the students? This answer was of some help, but does not address the same need: https://stackoverflow.com/a/36683022/6771080
Thanks in advance
I effectively do this on every machine I use by copying the ~/.jedit or c:/users/<username>/AppData/Roaming/jEdit folder. It includes the plugins and all the settings.