1. 2018-04-11 [6] [ jEdit-users ] Fwd: jEdit 5.5.0 is out! jedit-use Vampire 2. 2018-04-09 [10] [ jEdit-users ] Apparent CPU loop jedit-use maxwell