catch more precise exception type in RecentFileSubmenu
Merge pull request #597 from NetLogo/recent-files-submenu

catch more precise exception type in RecentFileSubmenu