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