GitHub jEdit Changes

use jEdit1, a free and open source mature text editor. Then, you will implement three change requests for jEdit. You need to do two change requests to implement out of the five options given