Bug 36867 [Import/Export] Zip export dialog not append .zip if there is already an extension
Sometimes, when the Jar export dialog doesn't have the options I want, I use the zip export dialog to build a jar. Unfortunately, if I specify a file name of foo.jar, the zip export dialog insists on adding ".zip" to the end of the file name. Would it be possible to make it so ".zip" is not automatically added if there is already an extension on the file name (or specifically if ".jar" is there)? Or could there be a checkbox added on the export dialog to turn off the automatic appending of .zip?
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/wizards/datatransfer/WizardZipFileResourceExportPage1.java
String selectedFileName = dialog.open();
		if (selectedFileName != null) {
			setErrorMessage(null);
			setDestinationValue(selectedFileName);
		}
	}
	/**
	 *	Hook method for saving widget values for restoration by the next instance
	 *	of this class.
	 */
	protected void internalSaveWidgetValues() {
		
		IDialogSettings settings = getDialogSettings();
		if (settings != null) {
			String[] directoryNames =
				settings.getArray(STORE_DESTINATION_NAMES_ID);
			if (directoryNames == null)
				directoryNames = new String[0];
			directoryNames =
				addToHistory(directoryNames, getDestinationValue());
			settings.put(STORE_DESTINATION_NAMES_ID, directoryNames);
			settings.put(
				STORE_CREATE_STRUCTURE_ID,
				createDirectoryStructureButton.getSelection());
			settings.put(
				STORE_COMPRESS_CONTENTS_ID,
				compressContentsCheckbox.getSelection());
		}
	}
	/**