Update editors/jedit to version 5.1.0,1
Update devel/jenkins to version 1.525