jedit: upgrade to version 2.39