Updated jedit to 5.0.0
Jedit adjustments