org.gjt.sp.jedit.menu.RecentFilesProvider.update(JMenu)