dup.timestamp = timestamp;
	public Project duplicate() {		Project dup = new Project();		dup.projectFileName = this.projectFileName;		dup.optionsMap.putAll(this.optionsMap);		dup.fileList.addAll(this.fileList);		dup.srcDirList.addAll(this.srcDirList);		dup.auxClasspathEntryList.addAll(this.auxClasspathEntryList);		return dup;	}