Method setExtension

ij/src/main/java/ij/io/SaveDialog.java:94–113

(String name, String extension)

	}

	@AstroImageJ(reason = "Handle case of double extension for save dialog", modified = true)
	public static String setExtension(String name, String extension) {
		if (name==null || extension==null || extension.length()==0)
			return name;
		if (name.endsWith(extension)) {
			var i = name.lastIndexOf(extension);
			if (i >= 0) {
				name = name.substring(0, i);
			}
		}
		int dotIndex = name.lastIndexOf(".");
		if (dotIndex>=0 && (name.length()-dotIndex)<=5) {
			if (dotIndex+1<name.length() && Character.isDigit(name.charAt(dotIndex+1)))
				name += extension;
			else
				name = name.substring(0, dotIndex) + extension;
		} else if (!name.endsWith(extension))
			name += extension;
		return name;
	}
	    
	// Save using JFileChooser.
	void jSave(String title, String defaultDir, String defaultName) {