Adds specification for Init#_writeProject()