1. 2022-12-19 [1] Re: [ jEdit-users ] =?utf-8?q?custom_jvm_for_macos?= jedit-use pablo 2. 2022-12-17 [2] [ jEdit-users ] custom jvm for macos jedit-use Dale Anson