private void setExtensions(FileFormat format, Vector extensions) {
		if (extensions == null) {
			return;
		}
		
		for (int i = 0, limit = extensions.size(); i < limit; i++) {
			// the first extension in the set is the default
			if (i == 0) {
				format.addExtension(((String) extensions.get(i)).toLowerCase(), true);
			} else {
				format.addExtension(((String) extensions.get(i)).toLowerCase(), false);
			}
		}
	}