this.ports=ports;
	public DefaultNamer(File file, String removedPrefix, String addedPrefix, Map properties)	{		this.file=file;		this.removedPrefix=removedPrefix;		this.addedPrefix=addedPrefix;		this.properties=properties;	} 