1. 2016-08-20 Re: [ jEdit-devel ] Building a plugin problems jedit-dev Eric Berry 2. 2016-08-19 [ jEdit-devel ] Building a plugin problems jedit-dev Edward Diener