Method addSeparator

ij/src/main/java/ij/Menus.java:1003–1005

(Menu menu)

	}

    static void addSeparator(Menu menu) {
    	menu.addSeparator();
    }

    /** Opens the configuration file ("plugins.config") from a JAR file and returns it as an InputStream. */
	InputStream getConfigurationFile(String jar) {