c34db9
Update jedit to version 5.5.0 / rev 35 via SR 963934 https://build.opensuse.org/request/show/963934 by user fstrba + dimstar_suse Build with source/target levels 8