Add jedit5.1.
Remove jedit 4.3.