1. 2017-03-21 [ jEdit-devel ] [jedit:patches] #591 replacement for jedit-dev Dale Anson 2. 2017-03-21 [ jEdit-devel ] [jedit:patches] #591 replacement for jedit-dev Dale Anson 3. 2017-03-21 [ jEdit-devel ] [jedit:patches] #591 replacement for jedit-dev Robert Schwenn 4. 2016-08-25 [ jEdit-devel ] [jedit:patches] #591 replacement for jedit-dev Jim Michaels 5. 2016-08-25 [ jEdit-devel ] [jedit:patches] #591 replacement for jedit-dev Jim Michaels