public boolean removeProtocol(String protocolName) {
		for (int i = 0, limit = protocols.size(); i < limit; i++) {
			FileProtocol protocol = (FileProtocol) protocols.get(i);
			if (protocol.getName().equals(protocolName)) {
				protocols.remove(i);
				
				// Also remove it from the list of formats stored in the preferences
				Preferences.FILE_PROTOCOLS.remove(i);
				
				return true;
			}
		}
		return false;
	}