Reopen closed buffer plug-in for jEdit