* The Gedit plugin is updated according to the issue #23.
* Issue #23: fixing runtime exception due to deprecated code.