Uses of Class
org.gjt.sp.jedit.menu.FavoritesProvider

No usage of org.gjt.sp.jedit.menu.FavoritesProvider