code: private static void printPluginList(final IPluginRepository pr) {
          System.out.println("List of installed plugins : ");
  
          for (PluginDefinition pd : pr.getAllPlugins()) {
              System.out.println("  * " + pd.getName());
          }
  
          System.exit(0);
      }
docs: Prints the list of installed plugins.
  
  @param pr
  The plugin repository