EditBuddy Plugin
By Slava Pestov
sp@gjt.org
This plugin is responsible for the first-time and new-version wizards that you see when running jEdit for the first time, and after installing a new version, respectively.