update the distribution of Jason to the new stable version of jEdit, the version 4.3
done in SVN rel 1577
done in SVN rel 1577
done in SVN rel 1577