Links for jedit
jedit-5.7.0.tar.gz