PluginAccess plugin = Plugin.getPluginManager()
.getActivatedPluginForId(marker.getId());
if (plugin != null) {
text = plugin.getInfo().getName();
} else {
InternalPluginProxyIf internalPlugin = InternalPluginProxyList
.getInstance().getProxyForId(marker.getId());
if (internalPlugin != null) {
text = internalPlugin.getName();
if (internalPlugin.equals(FavoritesPluginProxy.getInstance())) {
// if this is a favorite, add the names of the favorite
String favTitles = "";
for (Favorite favorite : FavoriteTreeModel.getInstance()
.getFavoritesContainingProgram(mProgram)) {
if (favTitles.length() > 0) {