MenuPath: support alternative path separators

Author: ctrueden

src/main/java/org/scijava/MenuPath.java

@@ -66,8 +66,16 @@ public MenuPath(final Collection<? extends MenuEntry> menuEntries) {
 	 * @see #PATH_SEPARATOR
 	 */
 	public MenuPath(final String path) {
+		this(path, PATH_SEPARATOR);
+	}
+
+	/**
+	 * Creates a menu path with entries parsed from the given string, splitting on
+	 * the specified separator.
+	 */
+	public MenuPath(final String path, final String separator) {
 		if (path != null && !path.isEmpty()) {
-			final String[] tokens = path.split(PATH_SEPARATOR);
+			final String[] tokens = path.split(separator);
 			for (final String token : tokens) {
 				add(new MenuEntry(token.trim()));
 			}